varkor/quiver
1
1
Fork 0
mirror of https://github.com/varkor/quiver.git synced 2024-09-11 05:46:13 +03:00
Code Issues Projects Releases Wiki Activity

Switch keys for flipping arrow and flipping label

Browse Source
This commit is contained in:
varkor 2020-11-22 18:23:36 +00:00
parent b71dc57e60
commit 5247d306e8
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
screenshots/export.png
View File

Binary file not shown.
Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 825 KiB

After

Width:  |  Height:  |  Size: 823 KiB

8
src/ui.js
View File

@ -699,8 +699,8 @@ class UI {
.add(new DOM.Element("h2").add("Arrow styling"))
.add(new DOM.Table([
["Reverse arrows", (td) => Shortcuts.element(td, [{ key: "R" }])],
["Flip arrows", (td) => Shortcuts.element(td, [{ key: "F" }])],
["Flip labels", (td) => Shortcuts.element(td, [{ key: "E" }])],
["Flip arrows", (td) => Shortcuts.element(td, [{ key: "E" }])],
["Flip labels", (td) => Shortcuts.element(td, [{ key: "F" }])],
["Left-align labels", (td) => Shortcuts.element(td, [{ key: "V" }])],
["Centre-align labels", (td) => Shortcuts.element(td, [{ key: "C" }])],
["Over-align labels", (td) => Shortcuts.element(td, [{ key: "X" }])],
@ -3277,7 +3277,7 @@ class Panel {
});
// The button to flip an edge.
add_button("Flip arrows", "⥮ Flip", "f", () => {
add_button("Flip arrows", "⥮ Flip", "e", () => {
ui.history.add(ui, [{
kind: "flip",
cells: ui.selection,
@ -3285,7 +3285,7 @@ class Panel {
});
// The button to flip a label.
add_button("Flip labels", "⥮ Flip labels", "e", () => {
add_button("Flip labels", "⥮ Flip labels", "f", () => {
ui.history.add(ui, [{
kind: "flip labels",
cells: ui.selection,