[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-devel
Subject:    [ jEdit-devel ] [jedit:patches] #538 Proper button margins for Nimbus L&F
From:       "Makarius" <makarius () users ! sf ! net>
Date:       2014-10-27 13:50:12
Message-ID: 544e4d92ea406b0403f621b3.patches () jedit ! p ! sourceforge ! net
[Download RAW message or body]

[Attachment #2 (multipart/related)]


--===============4348559761886114156==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit




---

** [patches:#538] Proper button margins for Nimbus L&F**

**Status:** open
**Group:** 
**Created:** Mon Oct 27, 2014 01:50 PM UTC by Makarius
**Last Updated:** Mon Oct 27, 2014 01:50 PM UTC
**Owner:** nobody

Nimbus buttons have an empty border by default (according to getBorder/setBorder), \
but there is an extra "content border" for painting.  

See also http://stackoverflow.com/questions/8764602/how-to-override-nimbus-button-margins-for-a-single-button


The patch uses the described technique to adjust the borders for the dockable window \
panel accordingly, such that Nimbus is no longer deformed.

Note that the Insets(6, 6, 6, 6) stems from Button.contentMargins in \
javax/swing/plaf/nimbus/NimbusDefaults.java


---

Sent from sourceforge.net because jedit-devel@lists.sourceforge.net is subscribed to \
https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at \
https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing \
                list, you can unsubscribe from the mailing list.
--===============4348559761886114156==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><hr />
<p><strong> <a class="alink" \
href="http://sourceforge.net/p/jedit/patches/538">[patches:#538]</a> Proper button \
margins for Nimbus L&amp;F</strong></p> <p><strong>Status:</strong> open<br />
<strong>Group:</strong> <br />
<strong>Created:</strong> Mon Oct 27, 2014 01:50 PM UTC by Makarius<br />
<strong>Last Updated:</strong> Mon Oct 27, 2014 01:50 PM UTC<br />
<strong>Owner:</strong> nobody</p>
<p>Nimbus buttons have an empty border by default (according to getBorder/setBorder), \
but there is an extra "content border" for painting.<br /> </p>
<p>See also <a href="http://stackoverflow.com/questions/8764602/how-to-override-nimbus-button-margins-for-a-single-button" \
rel="nofollow">http://stackoverflow.com/questions/8764602/how-to-override-nimbus-button-margins-for-a-single-button</a></p>
 <p>The patch uses the described technique to adjust the borders for the dockable \
window panel accordingly, such that Nimbus is no longer deformed.</p> <p>Note that \
the Insets(6, 6, 6, 6) stems from Button.contentMargins in \
javax/swing/plaf/nimbus/NimbusDefaults.java</p> <hr />
<p>Sent from sourceforge.net because jedit-devel@lists.sourceforge.net is subscribed \
to <a href="https://sourceforge.net/p/jedit/patches">https://sourceforge.net/p/jedit/patches/</a></p>
 <p>To unsubscribe from further messages, a project admin can change settings at <a \
href="https://sourceforge.net/p/jedit/admin/patches/options.">https://sourceforge.net/p/jedit/admin/patches/options.</a> \
                Or, if this is a mailing list, you can unsubscribe from the mailing \
                list.</p></div>
--===============4348559761886114156==--



------------------------------------------------------------------------------


-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel


[prev in list] [next in list] [prev in thread] [next in thread]