limepotato/jexer
1
0
Fork 0
mirror of https://gitlab.com/AutumnMeowMeow/jexer synced 2024-09-19 11:50:19 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix artifacts

Browse source
This commit is contained in:
Autumn Lamonte 2021-12-29 15:15:49 -06:00
parent 5d4eca6a7d
commit ca1cabfd68
2 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/jexer/TApplication.java
View file

@ -2295,6 +2295,8 @@ public class TApplication implements Runnable {
}
if (customMousePointer == null) {
mouseStyle = activeWidget.getMouseStyle();
} else {
activeWidget.getWindow().setTackboardsDirty();
}
MousePointer newCustomWidgetMousePointer;
newCustomWidgetMousePointer = activeWidget.getCustomMousePointer();
@ -2309,9 +2311,11 @@ public class TApplication implements Runnable {
pixelY -= newCustomWidgetMousePointer.getHotspotY();
newCustomWidgetMousePointer.setX(pixelX);
newCustomWidgetMousePointer.setY(pixelY);
activeWidget.getWindow().setTackboardsDirty();
doRepaint();
} else {
if (customWidgetMousePointer != null) {
activeWidget.getWindow().setTackboardsDirty();
doRepaint();
}
}

12
src/jexer/TWindow.java
View file

@ -1619,4 +1619,16 @@ public class TWindow extends TWidget {
overlay.addItem(item);
}
/**
* Mark the underlay and overlay dirty.
*/
public void setTackboardsDirty() {
if (underlay != null) {
underlay.setDirty();
}
if (overlay != null) {
overlay.setDirty();
}
}
}