mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-15 12:29:26 +01:00
parent
cbbac9dbda
commit
ddf60361d6
@ -351,7 +351,7 @@ public class EditorHeader extends JComponent {
|
|||||||
|
|
||||||
|
|
||||||
public Dimension getMaximumSize() {
|
public Dimension getMaximumSize() {
|
||||||
Dimension size = scale(new Dimension(3000, GRID_SIZE));
|
Dimension size = scale(new Dimension(30000, GRID_SIZE));
|
||||||
if (OSUtils.isMacOS())
|
if (OSUtils.isMacOS())
|
||||||
size.height--;
|
size.height--;
|
||||||
return size;
|
return size;
|
||||||
|
@ -450,7 +450,7 @@ public class EditorToolbar extends JComponent implements MouseInputListener, Key
|
|||||||
|
|
||||||
|
|
||||||
public Dimension getMaximumSize() {
|
public Dimension getMaximumSize() {
|
||||||
return new Dimension(scale(3000), BUTTON_HEIGHT);
|
return new Dimension(scale(30000), BUTTON_HEIGHT);
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean dispatchKeyEvent(final KeyEvent e) {
|
public boolean dispatchKeyEvent(final KeyEvent e) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user