Shortcut | Action |
---|---|
✲ Ctrl + ⎇ Alt + Space |
Open emoji picker |
⌘ Super + Space |
Open assistant |
F2 |
Rename file |
⌘ Super + ↓ Down |
Minimize window |
⌘ Super + ↑ Up |
Maximize window |
⌘ Super + ← Left |
Tile window left |
⌘ Super + → Right |
Tile window right |
⌘ Super + ↹ Tab |
Cycle between windows |
⇧ Shift + ⎇ Alt |
Hold shift and press alt to toggle keymaps |
✲ Ctrl + ⇧ Shift + A |
Command Palette (inside software) |
How to insert Unicode that’s not covered in one of the keyboard character mapping file.
Option 1: Copy character from Font Editor
Select the character you want in Font Editor and press ✲ Ctrl
+ ⇧ Shift
+ C
to copy the character.
Option 2: Copy character in terminal
copy "\u000000a5"
Ctrl
+ V
to paste it somewhereOption 3: Create character in terminal using js
js
console.log("\u00A5");
✲ Ctrl
+ ⇧ Shift
+ C