Developer settings menu

[FastestMolasses]

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

• I read and understood the contributing guide as well as the code of conduct
• The issues this PR addresses are related to each other
• My changes generate no new warnings
• My code builds and runs on my machine
• My changes are all related to the related issue above
• I documented my code

Screenshots

[austincondiff]

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.

[tom-ludwig]

I'm really happy to see us moving in the right direction!

[FastestMolasses]

Here's what it currently looks like

[FastestMolasses]

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.

[austincondiff]

You might wrap the two inputs in a Form with a .formStyle(.grouped) modifier.

[FastestMolasses]

Here is the new modal with the .formStyle(.grouped) modifier:

Here is the functionality of showing / hiding the developer menu with F12:

Screen.Recording.2024-05-23.at.11.28.08.PM.mov

[austincondiff]

It should look like this…

There should also be a delete button.
You can refer to SourceControlNavigatorNewBranchView.

[FastestMolasses]

Updated the style

[austincondiff]

Looks good! Thanks for getting that form design right!

[tom-ludwig]

LGTM

Stale