6969import javax .swing .text .BadLocationException ;
7070import javax .swing .text .Document ;
7171import javax .swing .tree .DefaultMutableTreeNode ;
72- import javax .swing .tree .DefaultTreeCellRenderer ;
7372import javax .swing .tree .DefaultTreeModel ;
7473import javax .swing .tree .TreeModel ;
7574
8281import processing .app .syntax .SyntaxDocument ;
8382import processing .app .ui .EditorStatus ;
8483import processing .app .ui .Toolkit ;
84+ import processing .app .ui .ZoomTreeCellRenderer ;
8585import processing .mode .java .JavaEditor ;
8686import processing .mode .java .JavaMode ;
8787import processing .mode .java .pdex .PreprocessedSketch .SketchInterval ;
@@ -372,7 +372,8 @@ static private class ShowUsage {
372372 this .pps = pps ;
373373
374374 // Add show usage option
375- JMenuItem showUsageItem = new JMenuItem (Language .text ("editor.popup.show_usage" ));
375+ JMenuItem showUsageItem =
376+ new JMenuItem (Language .text ("editor.popup.show_usage" ));
376377 showUsageItem .addActionListener (e -> handleShowUsage ());
377378 editor .getTextArea ().getRightClickPopup ().add (showUsageItem );
378379
@@ -395,12 +396,14 @@ public void componentShown(ComponentEvent e) {
395396 pps .registerListener (reloadListener );
396397 }
397398 });
398- window .setSize (300 , 400 );
399+ window .setSize (Toolkit . zoom ( 300 , 400 ) );
399400 window .setFocusableWindowState (false );
400401 Toolkit .setIcon (window );
401402 JScrollPane sp2 = new JScrollPane ();
402403 tree = new JTree ();
403- DefaultTreeCellRenderer renderer = (DefaultTreeCellRenderer ) tree .getCellRenderer ();
404+ ZoomTreeCellRenderer renderer =
405+ new ZoomTreeCellRenderer (editor .getMode ());
406+ tree .setCellRenderer (renderer );
404407 renderer .setLeafIcon (null );
405408 renderer .setClosedIcon (null );
406409 renderer .setOpenIcon (null );
@@ -412,18 +415,16 @@ public void componentShown(ComponentEvent e) {
412415 }
413416
414417 tree .addTreeSelectionListener (e -> {
415- if (tree .getLastSelectedPathComponent () == null ) {
416- return ;
417- }
418- DefaultMutableTreeNode tnode = (DefaultMutableTreeNode ) tree
419- .getLastSelectedPathComponent ();
418+ if (tree .getLastSelectedPathComponent () != null ) {
419+ DefaultMutableTreeNode tnode =
420+ (DefaultMutableTreeNode ) tree .getLastSelectedPathComponent ();
420421
421- if (tnode .getUserObject () instanceof ShowUsageTreeNode ) {
422- ShowUsageTreeNode node = (ShowUsageTreeNode ) tnode .getUserObject ();
423- editor .highlight (node .tabIndex , node .startTabOffset , node .stopTabOffset );
422+ if (tnode .getUserObject () instanceof ShowUsageTreeNode ) {
423+ ShowUsageTreeNode node = (ShowUsageTreeNode ) tnode .getUserObject ();
424+ editor .highlight (node .tabIndex , node .startTabOffset , node .stopTabOffset );
425+ }
424426 }
425427 });
426-
427428 }
428429
429430
@@ -935,6 +936,7 @@ public String convertValueToText(Object value, boolean selected,
935936 return super .convertValueToText (value , selected , expanded , leaf , row , hasFocus );
936937 }
937938 };
939+ tree .setCellRenderer (new ZoomTreeCellRenderer (editor .getMode ()));
938940 window .addComponentListener (new ComponentAdapter () {
939941 @ Override
940942 public void componentHidden (ComponentEvent e ) {
@@ -951,22 +953,20 @@ public void componentHidden(ComponentEvent e) {
951953 pps .whenDone (updateListener );
952954 pps .registerListener (updateListener );
953955
954-
955956 tree .addTreeSelectionListener (e -> {
956- if (tree .getLastSelectedPathComponent () == null ) {
957- return ;
958- }
959- DefaultMutableTreeNode tnode =
957+ if (tree .getLastSelectedPathComponent () != null ) {
958+ DefaultMutableTreeNode tnode =
960959 (DefaultMutableTreeNode ) tree .getLastSelectedPathComponent ();
961- if (tnode .getUserObject () instanceof ASTNode ) {
962- ASTNode node = (ASTNode ) tnode .getUserObject ();
963- pps .whenDone (ps -> {
964- SketchInterval si = ps .mapJavaToSketch (node );
965- if (!ps .inRange (si )) return ;
966- EventQueue .invokeLater (() -> {
967- editor .highlight (si .tabIndex , si .startTabOffset , si .stopTabOffset );
960+ if (tnode .getUserObject () instanceof ASTNode ) {
961+ ASTNode node = (ASTNode ) tnode .getUserObject ();
962+ pps .whenDone (ps -> {
963+ SketchInterval si = ps .mapJavaToSketch (node );
964+ if (!ps .inRange (si )) return ;
965+ EventQueue .invokeLater (() -> {
966+ editor .highlight (si .tabIndex , si .startTabOffset , si .stopTabOffset );
967+ });
968968 });
969- });
969+ }
970970 }
971971 });
972972 }
0 commit comments