Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-3193905 ] Larger space padding around toolbar icons in Metal L&F
|
From: SourceForge.net <no...@so...> - 2013-10-30 01:04:17
|
Bugs item #3193905, was opened at 2011-02-27 00:29 Message generated for change (Settings changed) made by ezust You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3193905&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Closed >Resolution: Works For Me Priority: 5 Private: No Submitted By: tvojeho (tvojeho) Assigned to: Nobody/Anonymous (nobody) Summary: Larger space padding around toolbar icons in Metal L&F Initial Comment: Hi, sometimes since the new year, the new daily builds of jedit4.5pre1install.jar create a larger padding around icons in the toolbar (I use the 16x16 size to save space, see attached screenshots). I am wondering if there is some settings I missed to put it as it was or if it is a bug. Cheers, tvojeho ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-12-04 13:39 Message: Probably due to the change I made to fix this other ticket: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2114751&group_id=588 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3193905&group_id=588 |