mirror of
https://github.com/processing/processing4.git
synced 2026-01-29 11:21:06 +01:00
implement custom tooltip for error/warning hover
This commit is contained in:
@@ -42,7 +42,6 @@ import processing.app.Util;
|
||||
import processing.core.PApplet;
|
||||
import processing.mode.java.pdex.LineMarker;
|
||||
import processing.mode.java.pdex.Problem;
|
||||
import processing.app.Language;
|
||||
|
||||
|
||||
/**
|
||||
@@ -186,10 +185,11 @@ public class MarkerColumn extends JPanel {
|
||||
LineMarker m = findClosestMarker(y);
|
||||
if (m != null) {
|
||||
Problem p = m.getProblem();
|
||||
String kind = p.isError() ?
|
||||
Language.text("editor.status.error") :
|
||||
Language.text("editor.status.warning");
|
||||
setToolTipText(kind + ": " + p.getMessage());
|
||||
// String kind = p.isError() ?
|
||||
// Language.text("editor.status.error") :
|
||||
// Language.text("editor.status.warning");
|
||||
// setToolTipText(kind + ": " + p.getMessage());
|
||||
editor.statusToolTip(MarkerColumn.this, p.getMessage(), p.isError());
|
||||
setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
|
||||
}
|
||||
return null;
|
||||
|
||||
@@ -137,7 +137,10 @@ public class JavaTextAreaPainter extends TextAreaPainter
|
||||
|
||||
if (x >= getJavaTextArea().offsetToX(line, startOffset) &&
|
||||
x <= getJavaTextArea().offsetToX(line, stopOffset)) {
|
||||
setToolTipText(problem.getMessage());
|
||||
//setToolTipText(problem.getMessage());
|
||||
getJavaEditor().statusToolTip(JavaTextAreaPainter.this,
|
||||
problem.getMessage(),
|
||||
problem.isError());
|
||||
evt.consume();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user