|
|
@ -9,6 +9,7 @@ import com.github.weisj.darklaf.icons.IconLoader; |
|
|
|
import org.jetbrains.annotations.NotNull; |
|
|
|
import org.jetbrains.annotations.NotNull; |
|
|
|
|
|
|
|
|
|
|
|
import javax.swing.*; |
|
|
|
import javax.swing.*; |
|
|
|
|
|
|
|
import javax.swing.text.BadLocationException; |
|
|
|
import javax.swing.tree.DefaultMutableTreeNode; |
|
|
|
import javax.swing.tree.DefaultMutableTreeNode; |
|
|
|
import java.awt.*; |
|
|
|
import java.awt.*; |
|
|
|
|
|
|
|
|
|
|
@ -119,13 +120,13 @@ public class TabFrameDemo { |
|
|
|
}}); |
|
|
|
}}); |
|
|
|
var numbering = numberPane.getNumberingPane(); |
|
|
|
var numbering = numberPane.getNumberingPane(); |
|
|
|
Icon icon = IconLoader.get().getIcon("navigation/arrowRight.svg"); |
|
|
|
Icon icon = IconLoader.get().getIcon("navigation/arrowRight.svg"); |
|
|
|
// try {
|
|
|
|
try { |
|
|
|
// numbering.addIconAtLine(5, icon);
|
|
|
|
numbering.addIconAtLine(5, icon); |
|
|
|
// numbering.addIconAtLine(10, icon);
|
|
|
|
numbering.addIconAtLine(10, icon); |
|
|
|
// numbering.addIconAtLine(15, icon);
|
|
|
|
numbering.addIconAtLine(15, icon); |
|
|
|
// } catch (BadLocationException e) {
|
|
|
|
} catch (BadLocationException e) { |
|
|
|
// e.printStackTrace();
|
|
|
|
e.printStackTrace(); |
|
|
|
// }
|
|
|
|
} |
|
|
|
return numberPane; |
|
|
|
return numberPane; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|