From ddf60361d6a1ffec6c5e6c064ad0e9f174104704 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Tue, 18 Jul 2017 14:00:56 +0200 Subject: [PATCH] Toolbar can now go full width on 4K display Fix #5341 --- app/src/processing/app/EditorHeader.java | 2 +- app/src/processing/app/EditorToolbar.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java index 42d6769f8..25c09a8df 100644 --- a/app/src/processing/app/EditorHeader.java +++ b/app/src/processing/app/EditorHeader.java @@ -351,7 +351,7 @@ public class EditorHeader extends JComponent { public Dimension getMaximumSize() { - Dimension size = scale(new Dimension(3000, GRID_SIZE)); + Dimension size = scale(new Dimension(30000, GRID_SIZE)); if (OSUtils.isMacOS()) size.height--; return size; diff --git a/app/src/processing/app/EditorToolbar.java b/app/src/processing/app/EditorToolbar.java index 09d22d4d0..00da0f37a 100644 --- a/app/src/processing/app/EditorToolbar.java +++ b/app/src/processing/app/EditorToolbar.java @@ -450,7 +450,7 @@ public class EditorToolbar extends JComponent implements MouseInputListener, Key public Dimension getMaximumSize() { - return new Dimension(scale(3000), BUTTON_HEIGHT); + return new Dimension(scale(30000), BUTTON_HEIGHT); } public boolean dispatchKeyEvent(final KeyEvent e) {