Developer settings menu
Description
This PR adds a settings menu for developers to add LSP binaries. Currently, this settings menu is intended to be removed before 1.0 releases, unless we would like a generalized 'dev' settings menu, for CodeEdit developers. This PR is needed before we can merge the LSP backend into the main branch.
Related Issues
Closes #1732
Checklist
- [x] I read and understood the contributing guide as well as the code of conduct
- [x] The issues this PR addresses are related to each other
- [x] My changes generate no new warnings
- [x] My code builds and runs on my machine
- [x] My changes are all related to the related issue above
- [x] I documented my code
Screenshots
You could rename this settings pane to be developer to be more generic and then add a section title “LSP binaries” above the table. Maybe this settings pane appears when you hit a certain key five times or something.
Here's what it currently looks like
Maybe this settings pane appears when you hit a certain key five times or something.
What about using F12 to toggle the dev menu? Similar to the dev menu in browsers.
You might wrap the two inputs in a Form with a .formStyle(.grouped) modifier.
Here is the new modal with the .formStyle(.grouped) modifier:
Here is the functionality of showing / hiding the developer menu with F12:
https://github.com/CodeEditApp/CodeEdit/assets/29493784/7e6c30e9-e317-447e-919d-1a35f9016b0a
It should look like this…
There should also be a delete button.
You can refer to SourceControlNavigatorNewBranchView.
Updated the style