Commit 6b3d65b5 authored by Michael Schwarz's avatar Michael Schwarz 🤔
Browse files

fixed bug line highloghting

parent 074f6dc0
...@@ -45,10 +45,11 @@ public class Jumper { ...@@ -45,10 +45,11 @@ public class Jumper {
// we currently only mark words if they are on the same line. // we currently only mark words if they are on the same line.
// otherwise we simply mark the whole line. // otherwise we simply mark the whole line.
//TODO: Currently when clicking a reduce in action table, this highlights the line break as well
Position end = range.getEnd(); Position end = range.getEnd();
if (end != null && begin.getLine() == end.getLine()) { if (end != null && begin.getLine() == end.getLine()) {
from += begin.getColumn() - 1; from += begin.getColumn() - 1;
to = end.getColumn() - begin.getColumn(); to = end.getColumn() - (begin.getColumn()-1);
} }
if (lineInfo != null) if (lineInfo != null)
......
...@@ -68,7 +68,7 @@ public class MultipleTextTooltipBase{ ...@@ -68,7 +68,7 @@ public class MultipleTextTooltipBase{
int maxWidth = Display.getCurrent().getPrimaryMonitor().getBounds().width int maxWidth = Display.getCurrent().getPrimaryMonitor().getBounds().width
- 50 - offsetLeft; - 50 - offsetLeft;
if(maxWidth < 0){ if(maxWidth < 0 && Display.getCurrent().getMonitors().length > 1){
int offsetCorrectedForMonitor = offsetLeft-Display.getCurrent().getMonitors()[1].getBounds().x; int offsetCorrectedForMonitor = offsetLeft-Display.getCurrent().getMonitors()[1].getBounds().x;
maxWidth = Display.getCurrent().getMonitors()[1].getBounds().width maxWidth = Display.getCurrent().getMonitors()[1].getBounds().width
......
...@@ -98,8 +98,6 @@ public abstract class TooltipBase implements ITooltip{ ...@@ -98,8 +98,6 @@ public abstract class TooltipBase implements ITooltip{
popup.setLocation(p); popup.setLocation(p);
} }
//FIXME: in order to prevent a new icon in the tray for every popup, use an
// invisible Dialog
public TooltipBase(Display display) { public TooltipBase(Display display) {
popup = new Shell(display, SWT.BALLOON); popup = new Shell(display, SWT.BALLOON);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment