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

Get rid of experimental flag using more fine-grained flags #3370

Merged
merged 23 commits into from
Dec 26, 2023
Merged

Get rid of experimental flag using more fine-grained flags #3370

merged 23 commits into from
Dec 26, 2023

Commits on Dec 7, 2023

  1. Get rid of experimental flag using more fine-grained flags

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

  2. fix bugs in loading json-based settings

    @wadoon
    wadoon committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    52b4e67 View commit details
    Browse the repository at this point in the history

  3. refine javadoc

    @wadoon
    wadoon committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    28a8e67 View commit details
    Browse the repository at this point in the history

  4. spotless

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

Commits on Dec 9, 2023

  1. bug fixes 

    * change API: JPanel is the return argument for SettingsProvider
* new flag for restart-requiring features
* make BULK_UI_TEST feature hot-loadable
    @wadoon
    wadoon committed Dec 9, 2023
    Configuration menu
    Copy the full SHA
    957d03b View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

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

    @unp1 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    7212d7c 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    3bc0578 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    95f863e 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    c5cb544 View commit details
    Browse the repository at this point in the history

  5. Fix problem with closed subtree filter

    @unp1 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    b846313 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    257e372 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    b96f134 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    78d0d38 View commit details
    Browse the repository at this point in the history

  9. Remove duplicate update of sequentview

    @unp1 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    61b855b 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    e27143f View commit details
    Browse the repository at this point in the history

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

    …ommit)
    @unp1 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    756b5c0 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    ddd3a31 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 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    c03f1c2 View commit details
    Browse the repository at this point in the history

  14. Spotless cleanups

    @unp1 @wadoon
    unp1 authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    d78aa61 View commit details
    Browse the repository at this point in the history

  15. Configurable enabled keys for JML condition evaluation

    @wadoon
    wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    4845f03 View commit details
    Browse the repository at this point in the history

  16. applying spotless

    @mattulbrich @wadoon
    mattulbrich authored and wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    40c2a2b View commit details
    Browse the repository at this point in the history

  17. bug fix

    @wadoon
    wadoon committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    24b86ef View commit details
    Browse the repository at this point in the history

  18. Merge branch 'main' into weigl/features

    @wadoon
    wadoon authored Dec 26, 2023
    Configuration menu
    Copy the full SHA
    f925398 View commit details
    Browse the repository at this point in the history