[jedit:bugs] #4130 Extra space appears around dockable button
funa take via jEdit-devel <[email protected]> Sun, 24 Dec 2023 11:20:46 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4130/a7413aa2b1b309ae526b5f2d5ff5606d10273e9e.bugs@jedit.p.sourceforge.net> |
There is no problem with the red frame in the left window of the attached image. The red frame in the right window is extra space. --- **[bugs:#4130] Extra space appears around dockable button** **Status:** open **Group:** minor bug **Created:** Sun Dec 24, 2023 11:16 AM UTC by funa take **Last Updated:** Sun Dec 24, 2023 11:16 AM UTC **Owner:** nobody **Attachments:** - [04.png](https://sourceforge.net/p/jedit/bugs/4130/attachment/04.png) (77.9 kB; image/png) Extra space appears around dockable button when maximized view. Java Version: openjdk 17.0.1 OS: Linux --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel