User guide

Keyboard shortcuts

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)


Settings window has several sub-categories on which to choose from.


Browser settings - Personalize browser settings through his window.


Clock settings - Choose time format and timezone.


Display settings - change background, themes, fonts, monitor size and number of virtual workspaces.


Keyboard settings - update keyboard properties and keymap.


Mail settings - provide important values in order for the mail program to work.


Mouse settings - modify mouse properties and personalize cursor theme.


Terminal settings - update terminal behavior, layout and font style.

Insert Unicode

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

  1. Open Terminal
  2. copy "\u000000a5"
  3. Character ` ✲ ` is now in clipboard, Ctrl + V to paste it somewhere

Option 3: Create character in terminal using js

  1. Open Terminal
  2. Type js
  3. Use console.log to generate character from hex, if you want the ¥ yen sign character type console.log("\u00A5");
  4. Copy the character ✲ Ctrl + ⇧ Shift + C