mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
"Much better" - @SableRaf 2025
This commit is contained in:
@@ -111,7 +111,7 @@ public class EditorFooter extends Box {
|
||||
tabBar.add(controller);
|
||||
|
||||
version = new JLabel(Base.getVersionName());
|
||||
version.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, MARGIN));
|
||||
version.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, Editor.RIGHT_GUTTER));
|
||||
version.addMouseListener(new MouseAdapter() {
|
||||
public void mousePressed(MouseEvent e) {
|
||||
if(e.getClickCount() == 5){
|
||||
|
||||
Reference in New Issue
Block a user