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

spaces to tabs

Browse source
This commit is contained in:
extrawurst 2024-10-18 18:14:21 +02:00
parent e7be093c39
commit 1866bf5f89
1 changed files with 17 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
src/keys/symbols.rs
View file

@ -30,23 +30,23 @@ impl Default for KeySymbols {
fn default() -> Self {
Self {
enter: "\u{23ce}".into(), //⏎
left: "\u{2190}".into(), //←
right: "\u{2192}".into(), //→
up: "\u{2191}".into(), //↑
down: "\u{2193}".into(), //↓
backspace: "\u{232b}".into(), //⌫
home: "\u{2912}".into(), //⤒
end: "\u{2913}".into(), //⤓
page_up: "\u{21de}".into(), //⇞
page_down: "\u{21df}".into(), //⇟
tab: "\u{21e5}".into(), //⇥
back_tab: "\u{21e4}".into(), //⇤
delete: "\u{2326}".into(), //⌦
insert: "\u{2380}".into(), //⎀
esc: "\u{238b}".into(), //⎋
control: "^".into(),
shift: "\u{21e7}".into(), //⇧
alt: "\u{2325}".into(), //⌥
left: "\u{2190}".into(), //←
right: "\u{2192}".into(), //→
up: "\u{2191}".into(), //↑
down: "\u{2193}".into(), //↓
backspace: "\u{232b}".into(), //⌫
home: "\u{2912}".into(), //⤒
end: "\u{2913}".into(), //⤓
page_up: "\u{21de}".into(), //⇞
page_down: "\u{21df}".into(), //⇟
tab: "\u{21e5}".into(), //⇥
back_tab: "\u{21e4}".into(), //⇤
delete: "\u{2326}".into(), //⌦
insert: "\u{2380}".into(), //⎀
esc: "\u{238b}".into(), //⎋
control: "^".into(),
shift: "\u{21e7}".into(), //⇧
alt: "\u{2325}".into(), //⌥
}
}
}