home.social

#theia — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #theia, aggregated by home.social.

  1. Theia annoyance: Window size/position seems to be stored per workspace (but not in the workspace file), rather than for the app. When you open a folder with it, you get a small window in the middle of the screen.

    The theme support doesn't seem quite 1:1 with VS Code; my favourite (Sunburst) should have a black background for editors, but it's using the grey background as the rest of the app.

    #theia #EclipseTheia

  2. @emd I found one that seems to be having problems; Todo Tree by Gruntfuggly (wow, that's a choice for alias) can't seem to find ripgrep, even after I set todotree.ripgrp to its location, per the pop-up notification.

    Not sure if this is limited to Todo Tree or if other things using ripgrep will have trouble.

    #theia #EclipseTheia

  3. A new episode is out!

    We chat about Theia, a VS Code-like IDE from the Eclipse Foundation, and its growing ecosystem (including an integrated plugin marketplace!), the Hypnotix IPTV app from Linux Mint, FOSS video games, and game/animation engines.

    linuxlads.com/episodes/123/