Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix update of proof tree in case of filter changes (fixes #3367) #3368

Merged
merged 14 commits into from
Dec 13, 2023
Merged

Fix update of proof tree in case of filter changes (fixes #3367) #3368

merged 14 commits into from
Dec 13, 2023

Commits on Dec 8, 2023

  1. Fix update of proof tree in case of filter changes (fixes #3367)

    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    9f54a3b View commit details
    Browse the repository at this point in the history

  2. Store ProofTreeViewSettings per proof outside model and restore all s… 

    …ettings upon switching
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    049ac6d View commit details
    Browse the repository at this point in the history

  3. Restore correct node selection and remove unused fields from GUIProof… 

    …TreeModel
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    7dcd7db View commit details
    Browse the repository at this point in the history

  4. Fix node filter selection display in popup dialoh and some refactoring

    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    ffd3f48 View commit details
    Browse the repository at this point in the history

  5. Fix problem with closed subtree filter

    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    7dc28a2 View commit details
    Browse the repository at this point in the history

  6. Minor clean up to slightly simplify complexity of path selection in P… 

    …roofTreeView
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    3337a5c View commit details
    Browse the repository at this point in the history

  7. MainWindow updates sequent view after settings change for pretty prin… 

    …ting
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    dac555c View commit details
    Browse the repository at this point in the history

  8. USe refactorings from #3369 but preserve non-local filter semantics f… 

    …or proof tree view
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    12f43d2 View commit details
    Browse the repository at this point in the history

  9. Remove duplicate update of sequentview

    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    ef9bbec View commit details
    Browse the repository at this point in the history

  10. Reduce number of sequentview updates 

    Each view setting update caused it own redraw even if itself did not change.
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    d939bcf View commit details
    Browse the repository at this point in the history

  11. Make usage of PropertyChangeListeners working (addendum to previous c… 

    …ommit)
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    ee57f33 View commit details
    Browse the repository at this point in the history

  12. Remove unnecessary checks for correct change as listener is now regis… 

    …tered correctly only for changes of interest
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    29027cd View commit details
    Browse the repository at this point in the history

  13. Fix selection highlight for OSS node child 

    This commit fixes also exceptions when activating a filter like "Hide Closed Subtrees" when an OSS child node was selected.
    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    c78c1f9 View commit details
    Browse the repository at this point in the history

  14. Spotless cleanups

    @unp1
    unp1 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    e032871 View commit details
    Browse the repository at this point in the history