LegacyConsoleArchive/jpexs-decompiler
1
0
Fork 0
mirror of https://git.huckle.dev/Huckles-Minecraft-Archive/jpexs-decompiler.git synced 2026-09-28 15:20:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Go to definition fixes

Browse Source
This commit is contained in:
Jindra Petřík
2025-06-01 15:18:37 +02:00
parent c9216538be
commit 127f36b0be
5 changed files with 75 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/com/jpexs/decompiler/flash/gui/editor/HighlightsPanel.java
+10 -3
View File
@@ -32,7 +32,6 @@ import javax.swing.JPanel;
import javax.swing.JScrollBar;
import javax.swing.JScrollPane;
import javax.swing.SwingUtilities;
import javax.swing.plaf.ScrollBarUI;
import javax.swing.text.BadLocationException;
import javax.swing.text.Highlighter;
import jsyntaxpane.actions.ActionUtils;
@@ -75,6 +74,9 @@ public class HighlightsPanel extends JPanel {
for (Highlighter.Highlight highlight : editorPane.getHighlighter().getHighlights()) {
Highlighter.HighlightPainter painter = highlight.getPainter();
if ((painter instanceof UnderlinePainter) && ((UnderlinePainter) painter).getColor() == null) {
continue;
}
if (painter instanceof Markers.SimpleMarker) {
try {
int lineNum = ActionUtils.getLineNumber(editorPane, highlight.getStartOffset());
@@ -116,6 +118,9 @@ public class HighlightsPanel extends JPanel {
for (Highlighter.Highlight highlight : editorPane.getHighlighter().getHighlights()) {
Highlighter.HighlightPainter painter = highlight.getPainter();
if ((painter instanceof UnderlinePainter) && ((UnderlinePainter) painter).getColor() == null) {
continue;
}
if (painter instanceof Markers.SimpleMarker) {
try {
int lineNum = ActionUtils.getLineNumber(editorPane, highlight.getStartOffset());
@@ -175,10 +180,12 @@ public class HighlightsPanel extends JPanel {
for (Highlighter.Highlight highlight : highlights) {
Highlighter.HighlightPainter painter = highlight.getPainter();
if ((painter instanceof UnderlinePainter) && ((UnderlinePainter) painter).getColor() == null) {
continue;
}
if (painter instanceof Markers.SimpleMarker) {
Markers.SimpleMarker simpleMarker = (Markers.SimpleMarker) painter;
g.setColor(simpleMarker.getColor());
g.setColor(simpleMarker.getColor());
try {
int line = ActionUtils.getLineNumber(editorPane, highlight.getStartOffset());