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

Save and restore proof tree view filters upon proof switching #3369

Closed
wants to merge 12 commits into from
Closed

Save and restore proof tree view filters upon proof switching #3369

wants to merge 12 commits into from

Commits on Dec 1, 2023

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

    @unp1
    unp1 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    d821a32 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 1, 2023
    Configuration menu
    Copy the full SHA
    12797cf 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 1, 2023
    Configuration menu
    Copy the full SHA
    e0f13b3 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 1, 2023
    Configuration menu
    Copy the full SHA
    4e67b68 View commit details
    Browse the repository at this point in the history

  5. Fix problem with closed subtree filter

    @unp1
    unp1 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    ce0cd10 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 1, 2023
    Configuration menu
    Copy the full SHA
    178303d 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 1, 2023
    Configuration menu
    Copy the full SHA
    ce27480 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

  1. Minor clean up and refactoring

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

  2. Remove duplicate update of sequentview

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

  3. Reduce number of sequentview updates 

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

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

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

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

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