mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
Remove unused method
This commit is contained in:
parent
78ddbdbfb3
commit
f9e1dbd484
@ -376,11 +376,6 @@ public class EditorHeader extends JComponent {
|
||||
}
|
||||
|
||||
|
||||
public void deselectMenu() {
|
||||
repaint();
|
||||
}
|
||||
|
||||
|
||||
public Dimension getPreferredSize() {
|
||||
return getMinimumSize();
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user