← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/QueryDialog.java

merged in lp:~tapaal-contributor/tapaal/deleting-query-property so that deleting a selection in a query dialog now deletes the whole property that is selected

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/QueryDialog.java
779
779
                if (currentSelection != null) {
780
780
                        TCTLAbstractProperty replacement = null;
781
781
                        if (currentSelection.getObject() instanceof TCTLAbstractStateProperty) {
782
 
                                replacement = getSpecificChildOfProperty(1, currentSelection.getObject());
 
782
                                replacement = new TCTLStatePlaceHolder();
783
783
                        } else if (currentSelection.getObject() instanceof TCTLAbstractPathProperty) {
784
784
                                replacement = new TCTLPathPlaceHolder();
785
785
                        }