search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Add search to VisB in ProB2-UI #336

Open cobizobi opened 1 year ago

cobizobi commented 1 year ago

For some visualisations it would be useful to be able to search for text in VisB. I have tried something like

searchBar.textProperty().addListener((o, from, to) -> {
    // find(aString, aCaseSensitive, aBackwards, aWrapAround, aWholeWord, aSearchInFrames, aShowDialog)
    this.getJSWindow().call("find", to, false, false, true, false, false, false);
});

in VisBView, but it did not work reliably.