Arkhist
Arkhist
VSCoq should allow its users to fold Proof/Qed blocks and Section/End blocks. I believe this feature should be implemented on the language-server side: implementing it as a language configuration feature...
The first lines of the log should contain the Hacknet version and OS to make debugging easier. Something along the lines of: `Hacknet Steam v5.069 Linux`
Before loading *any* mods from an extension, the user must be made aware of the mods that are going to be loaded and request approval. (Bloat) A "remember my choice"...
Auto-update mod should contain: - [x] Option to disable auto-updating - [x] Ask before updating - [ ] (Bloat) Option to choose latest build rather than latest release
Current implem does twice the work. Using ConfigEntries in the very beginning would make options easier to save.
When an error in the XML of an extension occurs, in current PF, the game crashes. 1) Such errors should never cause a crash. When such an error does not...
I am using AwesomeWM on my machine and the Burrito overlay catches all mouse and keyboard events when placed in front of Guild Wars 2. Is there something I'm doing...
Extension plugins should appear as a second row of options Their options should be unloaded when the plugin is unloaded.