@@ -1880,9 +1880,6 @@ public void handleFontSizeChange(int change) {
1880
1880
getEditors ().forEach (Editor ::applyPreferences );
1881
1881
}
1882
1882
1883
- private MouseWheelListener editorFontResizeMouseWheelListener = null ;
1884
- private KeyListener editorFontResizeKeyListener = null ;
1885
-
1886
1883
/**
1887
1884
* Adds a {@link MouseWheelListener} and {@link KeyListener} to the given
1888
1885
* component that will make "CTRL scroll" and "CTRL +/-"
@@ -1894,8 +1891,8 @@ public void handleFontSizeChange(int change) {
1894
1891
* @param comp - The component to add the listener to.
1895
1892
*/
1896
1893
public void addEditorFontResizeListeners (Component comp ) {
1897
- this . addEditorFontResizeMouseWheelListener (comp );
1898
- this . addEditorFontResizeKeyListener (comp );
1894
+ addEditorFontResizeMouseWheelListener (comp );
1895
+ addEditorFontResizeKeyListener (comp );
1899
1896
}
1900
1897
1901
1898
/**
@@ -1907,20 +1904,17 @@ public void addEditorFontResizeListeners(Component comp) {
1907
1904
* @param comp - The component to add the listener to.
1908
1905
*/
1909
1906
public void addEditorFontResizeMouseWheelListener (Component comp ) {
1910
- if (this .editorFontResizeMouseWheelListener == null ) {
1911
- this .editorFontResizeMouseWheelListener = (MouseWheelEvent e ) -> {
1912
- if (e .isControlDown ()) {
1913
- if (e .getWheelRotation () < 0 ) {
1914
- this .handleFontSizeChange (1 );
1915
- } else {
1916
- this .handleFontSizeChange (-1 );
1917
- }
1907
+ comp .addMouseWheelListener (e -> {
1908
+ if (e .isControlDown ()) {
1909
+ if (e .getWheelRotation () < 0 ) {
1910
+ this .handleFontSizeChange (1 );
1918
1911
} else {
1919
- e . getComponent (). getParent (). dispatchEvent ( e );
1912
+ this . handleFontSizeChange (- 1 );
1920
1913
}
1921
- };
1922
- }
1923
- comp .addMouseWheelListener (this .editorFontResizeMouseWheelListener );
1914
+ } else {
1915
+ e .getComponent ().getParent ().dispatchEvent (e );
1916
+ }
1917
+ });
1924
1918
}
1925
1919
1926
1920
/**
@@ -1930,29 +1924,26 @@ public void addEditorFontResizeMouseWheelListener(Component comp) {
1930
1924
* @param comp - The component to add the listener to.
1931
1925
*/
1932
1926
public void addEditorFontResizeKeyListener (Component comp ) {
1933
- if (this .editorFontResizeKeyListener == null ) {
1934
- this .editorFontResizeKeyListener = new KeyAdapter () {
1935
- @ Override
1936
- public void keyPressed (KeyEvent e ) {
1937
- if (e .getModifiersEx () == KeyEvent .CTRL_DOWN_MASK
1938
- || e .getModifiersEx () == (KeyEvent .CTRL_DOWN_MASK
1939
- | KeyEvent .SHIFT_DOWN_MASK )) {
1940
- switch (e .getKeyCode ()) {
1941
- case KeyEvent .VK_PLUS :
1942
- case KeyEvent .VK_EQUALS :
1943
- Base .this .handleFontSizeChange (1 );
1944
- break ;
1945
- case KeyEvent .VK_MINUS :
1946
- if (!e .isShiftDown ()) {
1947
- Base .this .handleFontSizeChange (-1 );
1948
- }
1949
- break ;
1927
+ comp .addKeyListener (new KeyAdapter () {
1928
+ @ Override
1929
+ public void keyPressed (KeyEvent e ) {
1930
+ if (e .getModifiersEx () == KeyEvent .CTRL_DOWN_MASK
1931
+ || e .getModifiersEx () == (KeyEvent .CTRL_DOWN_MASK
1932
+ | KeyEvent .SHIFT_DOWN_MASK )) {
1933
+ switch (e .getKeyCode ()) {
1934
+ case KeyEvent .VK_PLUS :
1935
+ case KeyEvent .VK_EQUALS :
1936
+ Base .this .handleFontSizeChange (1 );
1937
+ break ;
1938
+ case KeyEvent .VK_MINUS :
1939
+ if (!e .isShiftDown ()) {
1940
+ Base .this .handleFontSizeChange (-1 );
1950
1941
}
1942
+ break ;
1951
1943
}
1952
1944
}
1953
- };
1954
- }
1955
- comp .addKeyListener (this .editorFontResizeKeyListener );
1945
+ }
1946
+ });
1956
1947
}
1957
1948
1958
1949
public List <JMenu > getBoardsCustomMenus () {
0 commit comments