Commit 17347851 authored by Johannes Roith's avatar Johannes Roith

Add nice bullets + debug text.

parent 86585b1c
......@@ -15,7 +15,9 @@ public class StateTooltip extends TooltipBase {
public void show(lalr_state state) {
if (this.state != state) {
this.state = state;
setText(this.state.toString());
String str = this.state.items().toString();
str = str.replace("(*)", "\u2022");
setText("TEST:\n" + str);
}
show();
}
......
......@@ -46,7 +46,7 @@ public abstract class TooltipBase {
isVisible = false;
}
}
public void setText(String txt) {
label.setText(txt);
label.pack();
......
Markdown is supported
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