Elgato_dark/gitui
1
0
Fork 0
mirror of https://github.com/gitui-org/gitui synced 2026-05-23 08:58:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs

Browse source
This commit is contained in:
Stephan Dilly 2020-07-07 13:02:41 +02:00
parent 1cd74ad02e
commit a11713ee18
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/components/externaleditor.rs
View file

@ -36,7 +36,7 @@ impl ExternalEditorComponent {
}
}
///
/// opens file at given `path` in an available editor
pub fn open_file_in_editor(path: &Path) -> Result<()> {
io::stdout().execute(LeaveAlternateScreen)?;
defer! {