We should provide some sort of GUI for configuration.
As well as the current options we should add the ability to customize, or at least disable, keyboard shortcuts (closing the console, all of the copy/paste commands, tab completion etc.). Some users have complained about them already.
We should provide some sort of GUI for configuration.
As well as the current options we should add the ability to customize, or at least disable, keyboard shortcuts (closing the console, all of the copy/paste commands, tab completion etc.). Some users have complained about them already.