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 | |
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')
-rw-r--r-- | gnu/java/awt/peer/gtk/GtkButtonPeer.java | 7 | ||||
-rw-r--r-- | gnu/java/awt/peer/gtk/GtkComponentPeer.java | 8 | ||||
-rw-r--r-- | gnu/java/awt/peer/gtk/GtkFontPeer.java | 24 | ||||
-rw-r--r-- | gnu/java/awt/peer/gtk/GtkTextAreaPeer.java | 7 | ||||
-rw-r--r-- | gnu/java/awt/peer/gtk/GtkTextFieldPeer.java | 7 |
5 files changed, 50 insertions, 3 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()); + } } diff --git a/gnu/java/awt/peer/gtk/GtkComponentPeer.java b/gnu/java/awt/peer/gtk/GtkComponentPeer.java index 6e3b25290..b3a452531 100644 --- a/gnu/java/awt/peer/gtk/GtkComponentPeer.java +++ b/gnu/java/awt/peer/gtk/GtkComponentPeer.java @@ -88,6 +88,8 @@ public class GtkComponentPeer extends GtkGenericPeer awtComponent.setBackground (getBackground ()); // if (c.getFont () == null) // c.setFont (cp.getFont ()); + if (awtComponent.getFont() != null) + setFont(awtComponent.getFont()); if (! (awtComponent instanceof Window)) { @@ -273,6 +275,9 @@ public class GtkComponentPeer extends GtkGenericPeer public void setFont (Font f) { + // FIXME: This should really affect the widget tree below me. + // Currently this is only handled if the call is made directly on + // a text widget, which implements setFont() itself. } public void setForeground (Color c) @@ -352,7 +357,8 @@ public class GtkComponentPeer extends GtkGenericPeer p = component.getPeer (); } while (p instanceof java.awt.peer.LightweightPeer); - args.add ("parent", p); + if (p != null) + args.add ("parent", p); } native void set (String name, String value); diff --git a/gnu/java/awt/peer/gtk/GtkFontPeer.java b/gnu/java/awt/peer/gtk/GtkFontPeer.java index 47a46e818..d3130a905 100644 --- a/gnu/java/awt/peer/gtk/GtkFontPeer.java +++ b/gnu/java/awt/peer/gtk/GtkFontPeer.java @@ -57,14 +57,34 @@ public class GtkFontPeer implements FontPeer } } - final private String Xname; + final private String Xname; // uses %d for font size. public GtkFontPeer (String name, int style) { if (bundle != null) Xname = bundle.getString (name.toLowerCase () + "." + style); else - Xname = "-*-*-medium-r-normal-*-12-*-*-*-c-*-*-*"; + { + String weight; + String slant; + String spacing; + + if (style == Font.ITALIC || (style == (Font.BOLD+Font.ITALIC))) + slant = "i"; + else + slant = "r"; + if (style == Font.BOLD || (style == (Font.BOLD+Font.ITALIC))) + weight = "bold"; + else + weight = "medium"; + if (name.equals("Serif") || name.equals("SansSerif") + || name.equals("Helvetica") || name.equals("Times")) + spacing = "p"; + else + spacing = "c"; + + Xname = "-*-*-" + weight + "-" + slant + "-normal-*-%d-*-*-*-" + spacing + "-*-*-*"; + } } public String getXLFD () diff --git a/gnu/java/awt/peer/gtk/GtkTextAreaPeer.java b/gnu/java/awt/peer/gtk/GtkTextAreaPeer.java index 7a648b913..ad83008cb 100644 --- a/gnu/java/awt/peer/gtk/GtkTextAreaPeer.java +++ b/gnu/java/awt/peer/gtk/GtkTextAreaPeer.java @@ -45,6 +45,8 @@ public class GtkTextAreaPeer extends GtkTextComponentPeer { native void create (int scrollbarVisibility); + native void gtkSetFont(String xlfd, int size); + void create () { create (((TextArea)awtComponent).getScrollbarVisibility ()); @@ -99,4 +101,9 @@ public class GtkTextAreaPeer extends GtkTextComponentPeer { insert (str, pos); } + + public void setFont (Font f) + { + gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); + } } diff --git a/gnu/java/awt/peer/gtk/GtkTextFieldPeer.java b/gnu/java/awt/peer/gtk/GtkTextFieldPeer.java index 4dc23f8ba..628cdd627 100644 --- a/gnu/java/awt/peer/gtk/GtkTextFieldPeer.java +++ b/gnu/java/awt/peer/gtk/GtkTextFieldPeer.java @@ -51,6 +51,8 @@ public class GtkTextFieldPeer extends GtkTextComponentPeer native void gtkEntryGetSize (int cols, int dims[]); + native void gtkSetFont(String xlfd, int size); + public GtkTextFieldPeer (TextField tf) { super (tf); @@ -95,4 +97,9 @@ public class GtkTextFieldPeer extends GtkTextComponentPeer { setEchoChar (c); } + + public void setFont (Font f) + { + gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); + } } |