Hold on fix for #752.

This commit is contained in:
Sam Pottinger
2023-07-16 18:51:07 -07:00
parent 36e1cbd26d
commit d366df99cc
2 changed files with 6 additions and 6 deletions
@@ -326,7 +326,7 @@ public class PdeTextAreaPainter extends TextAreaPainter {
public String getToolTipText(MouseEvent event) {
fontMetrics = getFontMetrics();
int line = event.getY() / fontMetrics.getHeight() + textArea.getFirstLine();
if (line >= 0 || line < textArea.getLineCount()) {
if (line >= 0 || line < textArea.getLineCount()) {getPreprocessIssues
List<Problem> problems = getEditor().findProblems(line);
for (Problem problem : problems) {
int lineStart = textArea.getLineStartOffset(line);
@@ -338,6 +338,8 @@ public class PdeTextAreaPainter extends TextAreaPainter {
int startOffset = Math.max(errorStart, lineStart) - lineStart;
int stopOffset = Math.min(errorEnd, lineEnd) - lineStart;
System.out.println(lineStart + "\t" + lineEnd + "\t" + errorStart + "\t" + errorEnd + "\t" + startOffset + "\t" + stopOffset);
int x = event.getX();
if (x >= textArea.offsetToX(line, startOffset) &&