Skip to content
#

dotty

Here are 65 public repositories matching this topic...

laughedelic
laughedelic commented Apr 28, 2018

Sometimes it's useful not to turn off automatic server launching (automatic server selection off and default server none), but then there is not way to launch a server in the current project.

It could be either 3 separate commands, one for each server, or one command and a dialog to choose one. It could also suggest the server depending on the project setup (as if automatic server selection

Improve this page

Add a description, image, and links to the dotty topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dotty topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.