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

Safe implementation of Re-load All feature #3722

Open
wants to merge 18 commits into
base: master
Choose a base branch
from
Open

Safe implementation of Re-load All feature #3722

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
8c1def5
Draft implementation of reload-all. Messy GUI and RESPONSE_DOCUMENT_R…
peter-scholtens Dec 9, 2023
241ce4c
Created bool unmodified_files_present to make gui button optional.
peter-scholtens Dec 10, 2023
852b3c0
Merge branch 'geany:master' into re-load-all
peter-scholtens Dec 10, 2023
0f545ee
Replaced fixed size number of button arguments with variable sized ar…
peter-scholtens Dec 11, 2023
3a1b730
Re-load All feature works functionally (but GUI needs re-work): detec…
peter-scholtens Dec 14, 2023
64bf957
Connected File->Re-load button and updated description.
peter-scholtens Dec 14, 2023
f672274
Switched to vertical buttons inside info_bar to avoid crowded Gtk-boxes.
peter-scholtens Dec 17, 2023
c73b5f4
Merge branch 'geany:master' into re-load-all
peter-scholtens Dec 20, 2023
09d1687
Merge branch 'geany:master' into re-load-all
peter-scholtens Feb 15, 2024
925b221
Merge branch 'geany:master' into re-load-all
peter-scholtens Mar 7, 2024
2645071
Merge branch 'geany:master' into re-load-all
peter-scholtens Mar 22, 2024
59dd6a9
Merge branch 'geany:master' into re-load-all
peter-scholtens Apr 3, 2024
1a01119
Merge branch 'geany:master' into re-load-all
peter-scholtens Apr 8, 2024
be0d5c6
Merge branch 'geany:master' into re-load-all
peter-scholtens Apr 10, 2024
50218ae
Merge branch 'geany:master' into re-load-all
peter-scholtens Apr 17, 2024
3f350a7
Merge branch 'geany:master' into re-load-all
peter-scholtens May 11, 2024
6bd4bdb
Merge branch 'geany:master' into re-load-all
peter-scholtens May 23, 2024
744fc1d
Merge branch 'geany:master' into re-load-all
peter-scholtens Jun 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.