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
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.
Extra space appears around dockable button
I use a metal look and feel. Below is the log 21:30:13 [main] [message] Log: java.version=1.8.0_201 21:30:13 [main] [message] Log: java.vm.version=25.201-b09 21:30:13 [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit Server VM 21:30:13 [main] [message] Log: java.runtime.version=1.8.0_201-b09 21:30:13 [main] [message] Log: java.runtime.name=Java(TM) SE Runtime Environment 21:30:13 [main] [message] Log: java.vendor=Oracle Corporation 21:30:13 [main] [message] Log: java.compiler=null 21:30:13...
patch for #4083 Only the first match is highlighted in hyper search.
Only the first match is highlighted in hyper search.
SFTP: access to SUDO user
PHPParser:finally statement