Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

git_ui: Fix resetting of onboarding banner (#30051)

Browse source 
This PR fixes an issue where the Git onboarding banner wasn't able to be
reset.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2025-05-06 19:20:37 -04:00 • committed by GitHub
parent ffc07a2651
commit 0db8668404
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/git_ui/src/git_ui.rs
View file

@ -10,7 +10,7 @@ use git::{
status::{FileStatus, StatusCode, UnmergedStatus, UnmergedStatusCode}, status::{FileStatus, StatusCode, UnmergedStatus, UnmergedStatusCode},
}; };
use git_panel_settings::GitPanelSettings; use git_panel_settings::GitPanelSettings;
use gpui::{App, FocusHandle, actions}; use gpui::{Action, App, FocusHandle, actions};
use onboarding::GitOnboardingModal; use onboarding::GitOnboardingModal;
use project_diff::ProjectDiff; use project_diff::ProjectDiff;
use ui::prelude::*; use ui::prelude::*;
@ -115,7 +115,7 @@ pub fn init(cx: &mut App) {
}, },
); );
workspace.register_action(move |_, _: &ResetOnboarding, window, cx| { workspace.register_action(move |_, _: &ResetOnboarding, window, cx| {
cx.dispatch_action(&workspace::RestoreBanner); window.dispatch_action(workspace::RestoreBanner.boxed_clone(), cx);
window.refresh(); window.refresh();
}); });
workspace.register_action(|workspace, _action: &git::Init, window, cx| { workspace.register_action(|workspace, _action: &git::Init, window, cx| {