diff options
| author | Tom Tromey <tromey@redhat.com> | 2003-02-19 03:50:33 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 2003-02-19 03:50:33 +0000 |
| commit | 6f39289efc8424d4aed3d9be8b1cbcd8c0d46402 (patch) | |
| tree | 06e785e0c63f2ef3a04666cfd3f38cb34ea55959 /gnu/java/awt/peer/gtk/GtkButtonPeer.java | |
| parent | 6d260b2b5ad4b94d969111899db0343861ff6507 (diff) | |
| download | classpath-6f39289efc8424d4aed3d9be8b1cbcd8c0d46402.tar.gz | |
2003-02-18 Hans Boehm <Hans.Boehm@hp.com>
* gnu/java/awt/peer/gtk/GtkButtonPeer.java,
gnu/java/awt/peer/gtk/GtkTextAreaPeer.java,
gnu/java/awt/peer/gtk/GtkTextFieldPeer.java,
native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkButtonPeer.c,
native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkTextAreaPeer.c,
native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkTextFieldPeer.c
(setFont, gtkSetFont): add.
gnu/java/awt/peer/gtk/GtkComponentPeer.java (GtkComponentPeer):
Propagate font to peer. (setFont): add FIXME comment.
* native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkTextAreaPeer.c
(gtkTextGetSize): fix height, width computation.
* gnu/java/awt/peer/gtk/GtkFontPeer.java (GtkFontPeer):
Make X font name a bit less bogus.
* native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkScrollBarPeer.c
(post_adjustment_event): Pass on GTK_SCROLL_NONE.
* java/awt/Scrollbar.java (setValues): Fix visibleAmount range check.
(processAdjustmentEvent): Adjust value.
* java/awt/FlowLayout.java (layoutContainer) Fix 2 indexing and one
logic errors.
* java/awt/Component.java (setVisible, show, hide): Call show and
hide methods in subclasses.
(getPreferredSize): don't set prefSize before we have peer.
* java/awt/TextArea.java, java/awt/TextField.java (getPreferredSize):
Guess (0,0) if we don't have peer.
Diffstat (limited to 'gnu/java/awt/peer/gtk/GtkButtonPeer.java')
| -rw-r--r-- | gnu/java/awt/peer/gtk/GtkButtonPeer.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/java/awt/peer/gtk/GtkButtonPeer.java b/gnu/java/awt/peer/gtk/GtkButtonPeer.java index 94603c0d3..a609f7ad8 100644 --- a/gnu/java/awt/peer/gtk/GtkButtonPeer.java +++ b/gnu/java/awt/peer/gtk/GtkButtonPeer.java @@ -47,6 +47,8 @@ public class GtkButtonPeer extends GtkComponentPeer { native void create (); + native void gtkSetFont(String xlfd, int size); + public GtkButtonPeer (Button b) { super (b); @@ -86,4 +88,9 @@ public class GtkButtonPeer extends GtkComponentPeer args.add ("label", ((Button)component).getLabel ()); } + + public void setFont (Font f) + { + gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); + } } |