[jedit:bugs] #4130 Extra space appears around dockable button
funa take via jEdit-devel <[email protected]> Sun, 24 Dec 2023 11:16:10 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- **[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