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
| Submitted | tvojeho - 2011-02-27 - 08:29:08z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2011-12-04 - 21:39:36z ezust |
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 |
|---|
| 2011-02-27 - 08:29:09z tvojeho |
screenshots.zip screenshots |
|---|