big improvements: themes, autocomplete priority, saving/loading/reseting current setting, history and autocomplete, removed history for client-side commands, lots of small fixes