Wed, 28 Feb 2001 15:06:04 +0000 |
Gerd Moellmann |
(x_set_window_size): Don't use `None' with widgets; use
|
Wed, 28 Feb 2001 15:05:10 +0000 |
Gerd Moellmann |
(Fx_hide_tip): Don't use `None' with widgets; use
|
Wed, 28 Feb 2001 15:03:11 +0000 |
Gerd Moellmann |
(xm_arm_callback): Don't compare widgets with `None',
|
Wed, 28 Feb 2001 14:55:33 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Wed, 28 Feb 2001 14:55:17 +0000 |
Gerd Moellmann |
(xaw_update_one_widget): Use XtSetSensitive instead
|
Wed, 28 Feb 2001 14:54:54 +0000 |
Gerd Moellmann |
(xm_update_radiobox, update_one_menu_entry)
|
Wed, 28 Feb 2001 13:30:02 +0000 |
Gerd Moellmann |
*** empty log message ***
|