diff options
author | Michael Koch <konqueror@gmx.de> | 2004-09-22 11:38:57 +0000 |
---|---|---|
committer | Michael Koch <konqueror@gmx.de> | 2004-09-22 11:38:57 +0000 |
commit | 9237c4ad72f457d086f5c81074d85510b07aad71 (patch) | |
tree | 7f19d82a591b36ba36c77406bd2469b49f0afe38 /java/awt/CheckboxMenuItem.java | |
parent | 62fcfc1ac589b29c6876218c1e1b28008056a650 (diff) | |
download | classpath-9237c4ad72f457d086f5c81074d85510b07aad71.tar.gz |
2004-09-22 Thomas Fitzsimmons <fitzsim@redhat.com>
* gnu/java/awt/peer/gtk/GtkButtonPeer.java (gtkWidgetSetFont):
Rename ...
(gtkWidgetModifyFont): New method.
* gnu/java/awt/peer/gtk/GtkFramePeer.java,
jni/gtk-peer/gnu_java_awt_peer_gtk_GtkFramePeer.c
(setMenuBarWidth): New method.
(setBounds): Set the menu bar width.
(postConfigureEvent): Set the menu bar width if the window's
width has changed.
* gnu/java/awt/peer/gtk/GtkMenuBarPeer.java (GtkMenuBarPeer):
Don't call create.
(setFont): New method.
* gnu/java/awt/peer/gtk/GtkMenuComponentPeer.java (create): New
method.
(setFont): Likewise.
(GtkMenuComponentPeer): Call create and setFont.
* gnu/java/awt/peer/gtk/GtkMenuItemPeer.java,
jni/gtk-peer/gnu_java_awt_peer_gtk_GtkMenuItemPeer.c
(connectSignals): Make package private.
(gtkWidgetModifyFont): New method.
(create): Likewise.
(GtkMenuItemPeer): Don't call create.
(setFont): New method.
* java/awt/CheckboxMenuItem.java (addNotify): Fix peer == null
condition.
* java/awt/Container.java (validateTree): Fix comment typos.
* java/awt/MenuComponent.java (getFont): Return parent's font if
our font is null.
* jni/gtk-peer/gnu_java_awt_peer_gtk_GtkCheckboxMenuItemPeer.c
(create): Remove call to deprecated
gtk_check_menu_item_set_show_toggle function.
Diffstat (limited to 'java/awt/CheckboxMenuItem.java')
-rw-r--r-- | java/awt/CheckboxMenuItem.java | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/java/awt/CheckboxMenuItem.java b/java/awt/CheckboxMenuItem.java index c7df075b3..75fc7404a 100644 --- a/java/awt/CheckboxMenuItem.java +++ b/java/awt/CheckboxMenuItem.java @@ -198,12 +198,9 @@ getSelectedObjects() public synchronized void addNotify() { - if (peer != null) - { - // This choice of toolkit seems unsatisfying, but I'm not sure - // what else to do. - peer = getToolkit().createCheckboxMenuItem(this); - } + if (peer == null) + peer = getToolkit().createCheckboxMenuItem(this); + super.addNotify (); } |