https://sourceforge.net/p/jedit/bugs/4130/2023-12-24T11:20:44.848000ZRecent changes to 4130: Extra space appears around dockable button2023-12-24T11:20:44.848000Z2023-12-24T11:20:44.848000Zfuna takehttps://sourceforge.net/u/funatake/https://sourceforge.neta4ea0a22cc015a266d8d1715194813213632cc64

<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>

2023-12-24T11:16:08.947000Z2023-12-24T11:16:08.947000Zfuna takehttps://sourceforge.net/u/funatake/https://sourceforge.netaf657d4a3fc5f9863d07d3c5562813165fd53fbb

<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>