Extra space appears around dockable button

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#4130 Extra space appears around dockable button

Milestone: minor bug

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2023-12-24

Created: 2023-12-24

Creator: funa take

Private: No

Extra space appears around dockable button when maximized view.
Java Version: openjdk 17.0.1
OS: Linux

1 Attachments

04.png

Discussion

funa take - 2023-12-24

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.

jEdit Version: 5.6.0

Last edit: funa take 2023-12-24

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.