| Wed, 22 Nov 2000 16:33:16 +0000 |
Gerd Moellmann |
(x_tool_bar_item, w32_handle_tool_bar_click)
|
| Wed, 22 Nov 2000 16:33:13 +0000 |
Dave Love |
2000-11-22 Simon Josefsson <simon@josefsson.org>
|
| Wed, 22 Nov 2000 16:32:36 +0000 |
Gerd Moellmann |
(mark_object) <frame>: Mark tool bar items differently.
|
| Wed, 22 Nov 2000 16:32:00 +0000 |
Gerd Moellmann |
(update_frame): Do nothing with frame's tool bar
|
| Wed, 22 Nov 2000 16:31:28 +0000 |
Gerd Moellmann |
(update_tool_bar, build_desired_tool_bar_string): Change
|
| Wed, 22 Nov 2000 16:29:33 +0000 |
Gerd Moellmann |
(x_handle_tool_bar_click, note_tool_bar_highlight):
|
| Wed, 22 Nov 2000 16:28:38 +0000 |
Gerd Moellmann |
(make_frame): Change initialization of tool bar
|
