Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.java.gui > #2316

Re: JButton.setMargin bro

From "usenet" <usenet@THRWHITE.remove-dii-this>
Subject Re: JButton.setMargin bro
Message-ID <0T4bucbdI25e@uni.chka.de> (permalink)
Newsgroups comp.lang.java.gui
References <i692d3t1r2i1dr3jbhmsjmt3gkib3i7tc9@4ax.com>
Date 2011-04-27 15:38 +0000
Organization TDS.net

Show all headers | View raw


  To: comp.lang.java.gui
Roedy Green <see_website@mindprod.com.invalid> wrote:
> It seems that Swing ignores JButton.setMargin. Is that your finding?
> Is this a bug or is there some excuse for it?

The margin is modelled as an extra border (e.g.
javax.swing.plaf.basic.BasicBorders.MarginBorder), usually installed
by the LookAndFeel. If you replace a button's border, put a margin
border (using CompoundBorder) in the place where you want to have it,
relative to the other border(s).


Christian

---
 * Synchronet * The Whitehouse BBS --- whitehouse.hulds.com --- check it out free usenet!
--- Synchronet 3.15a-Win32 NewsLink 1.92
Time Warp of the Future BBS - telnet://time.synchro.net:24

Back to comp.lang.java.gui | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

JButton.setMargin broken "Roedy Green" <roedy.green@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
  Re: JButton.setMargin bro "Andrew Thompson" <andrew.thompson@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
    Re: JButton.setMargin bro "Roedy Green" <roedy.green@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
      Re: JButton.setMargin bro "Andrew Thompson" <andrew.thompson@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
  Re: JButton.setMargin bro "usenet" <usenet@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
    Re: JButton.setMargin bro "Roedy Green" <roedy.green@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000
  Re: JButton.setMargin bro "Roedy Green" <roedy.green@THRWHITE.remove-dii-this> - 2011-04-27 15:38 +0000

csiph-web