Open robobenklein opened 3 years ago
Autocompletion, documentation, etc... need to be hidden on overview and re-shown on exit (assuming the active patch was not changed)
Autocompletion, documentation, etc... need to be hidden on overview and re-shown on exit (assuming the active patch was not changed)