Recent searches
Search options
@FineFindus There's this app where you can draw symbols, it's been unmaintained for a while but should still work https://flathub.org/apps/fyi.zoey.TeX-Match
@tbernard Thanks, not a huge fan of drawing things with my mouse, but I guess it will have to do for now
@FineFindus Could fork it / take over maintainership and add search :)
@tbernard @FineFindus tempted to start a awesome gnome apps list repo. A list of apps that is less formal than gnome circle but better curated than flathub. Because I found out about new cool apps every day
@matzipan I'm generally a bit skeptical of those repos because a list of links is not a great way to browse apps.
We discussed adding a third-party category to apps.gnome.org for this, but there was no consensus for it :/
@tbernard I know. But they are practical.
