My Theia – Cheat Sheet

Just a short collection of tricks working with Theia IDE.

Auto Format Files

Check that the ‘formatOnSave’ is set to ‘true’

"editor.formatOnSave": true

Flighty explorer

If you observe the problem that after starting Theia IDE your explorer is permanently refreshing if if you do not change any files and is always changing the scroll position automatically, than this can be missing exclusion of file types from the file file watcher. Just extend the list of unimportant files like my list below:

"files.watcherExclude": {
  "**/.git/objects/**": true,
  "**/.git/subtree-cache/**": true,
  "**/target/**": true,
  "**/node_modules/**": true,
  "**/build/**": true,
  "**/out/**": true,
  "**/bin/**": true,
  "**/.mvn/**": true
}

Open new Workspace in same window

If you switch the workspace Theia normal starts a second instance. You force Theia to preserver the current window