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.

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

Fix highlighting after reselection of same word #1484

Closed
wants to merge 42 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
8a902a9
Increase maximum selection length
Oct 7, 2024
eb3db43
Merge branch 'master' into jeremypw/fix-highlight-selection
zeebok Oct 9, 2024
5ad6921
Add "active-project-path" setting.
Oct 9, 2024
4eb0372
Dont change active project just because a document changes
Oct 9, 2024
67f238c
Remove some unused code relating to active_project
Oct 9, 2024
a3c10fa
Merge branch 'master' into jeremypw/fix-highlight-selection
zeebok Oct 10, 2024
c2f4940
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Oct 13, 2024
c05ab29
Do not override active project with default on startup
Oct 13, 2024
5b4db0e
Show global search dialog if scope unspecified
Oct 13, 2024
ad9cc13
Distinguish global search path from default action target
Oct 14, 2024
916e10d
Allow global search when no active project
Oct 14, 2024
ca34ddd
Set active project after load folder is none already set
Oct 14, 2024
baf705e
FileView: Use git_manager property
Oct 14, 2024
b32acf1
Merge branch 'master' into jeremypw/fix-highlight-selection
zeebok Oct 20, 2024
43a4e4d
Merge branch 'master' into jeremypw/fix-highlight-selection
zeebok Oct 22, 2024
9fb47a0
Merge branch 'master' into jeremypw/fix-highlight-selection
zeebok Oct 22, 2024
b6485f4
Merge branch 'master' into jeremypw/fix-highlight-selection
jeremypw Oct 22, 2024
f742237
Simplify, handle mark-deleted signal
Oct 22, 2024
19cca3d
Update spaces immediately
Oct 22, 2024
5d350e7
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Oct 30, 2024
43c1023
Allow no project to be restored. Only user sets active project.
Oct 30, 2024
0bca777
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Nov 6, 2024
58f45bd
Merge branch 'master' into jeremypw/fix-highlight-selection
jeremypw Nov 28, 2024
0b00d39
Merge branch 'master' into jeremypw/rework-highlight-selection
zeebok Dec 1, 2024
3794a65
Merge branch 'master' into jeremypw/sync-activeproject-startup
zeebok Dec 1, 2024
e49889c
Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw Dec 2, 2024
9f129cf
Separate throttle for selection change
Dec 2, 2024
24da045
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Dec 7, 2024
f01dfde
On close other folders make remaining active
Dec 7, 2024
48320f3
Set active project context menu item for git repos
Dec 7, 2024
0198f70
Merge branch 'master' into jeremypw/fix-highlight-selection
jeremypw Dec 12, 2024
62a8244
Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw Jan 8, 2025
2fa14e9
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Jan 8, 2025
1882a3e
Change install and run under different name
Jan 11, 2025
c0d8733
Merge branch 'master' into jeremypw/fix-highlight-selection
jeremypw Jan 11, 2025
6c9afb9
Merge pull request #1 from elementary/jeremypw/fix-highlight-selection
jeremypw Jan 11, 2025
d8e21e4
Merge branch 'master' into jeremypw/sync-activeproject-startup
jeremypw Jan 11, 2025
e46440b
Merge pull request #2 from elementary/jeremypw/sync-activeproject-sta…
jeremypw Jan 11, 2025
bef4a0a
Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw Jan 11, 2025
2a7161d
Merge branch 'master' into jeremypw/rework-highlight-selection
zeebok Jan 12, 2025
72bb50c
Fix schema paths
Jan 12, 2025
adba6ec
Merge branch 'master' into jeremypw/rework-highlight-selection
jeremypw Jan 12, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
On close other folders make remaining active
Jeremy Wootten authored and Jeremy Wootten committed Dec 7, 2024
commit f01dfde08b3dbb3e740a2cceac0534e01f33b187
3 changes: 3 additions & 0 deletions src/FolderManager/FileView.vala
Original file line number Diff line number Diff line change
@@ -118,6 +118,9 @@ public class Scratch.FolderManager.FileView : Code.Widgets.SourceList, Code.Pane
}
}

//Make remaining project the active one
git_manager.active_project_path = path;

write_settings ();
}

5 changes: 4 additions & 1 deletion src/Widgets/ChooseProjectButton.vala
Original file line number Diff line number Diff line change
@@ -114,14 +114,17 @@ public class Code.ChooseProjectButton : Gtk.MenuButton {

project_listbox.row_activated.connect ((row) => {
var project_entry = ((ProjectRow) row);
Scratch.Services.GitManager.get_instance ().active_project_path = project_entry.project_path;
git_manager.active_project_path = project_entry.project_path;
project_chosen ();
});

realize.connect (() => {
set_active_path (git_manager.active_project_path);
git_manager.notify["active-project-path"].connect (() => {
// Sync menubutton states
set_active_path (git_manager.active_project_path);
// Signal window to update as required (e.g. terminal)
project_chosen ();
});
});
}