Recent changes to 4130: Extra space appears around dockable buttonhttps://sourceforge.net/p/jedit/bugs/4130/Recent changes to 4130: Extra space appears around dockable buttonenSun, 24 Dec 2023 11:20:44 -0000#4130 Extra space appears around dockable buttonhttps://sourceforge.net/p/jedit/bugs/4130/?limit=25#ecdc<div class="markdown_content"><p>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.</p></div>funa takeSun, 24 Dec 2023 11:20:44 -0000https://sourceforge.neta4ea0a22cc015a266d8d1715194813213632cc64Extra space appears around dockable buttonhttps://sourceforge.net/p/jedit/bugs/4130/<div class="markdown_content"><p>Extra space appears around dockable button when maximized view.<br/> Java Version: openjdk 17.0.1 <br/> OS: Linux </p></div>funa takeSun, 24 Dec 2023 11:16:08 -0000https://sourceforge.netaf657d4a3fc5f9863d07d3c5562813165fd53fbb