toggle display instead of show + hide display

May i make a quick suggestion about a design choice I’ve seen in the repo? I’ve noticed that whenever we need to show/hide some gui, the interface has tended to use two commands, e.g. show formatters and hide formatters. May i suggest that we try to use just one command instead, e.g., toggle formatters (or formatter display etc)?

The main reason is that the fewer the number of voice commands one has to remember, the better. But this may just be a purely stylistic preference.

[knausj85]

I’ve moved everything I can to this approach. I chose not to use toggle here since I personally find “toggle” tiresome.

running list: user.switcher_toggle_running()
format help: user.formatters_help_toggle()
format recent: user.formatters_recent_toggle()
command history: user.history_toggle()
``

[knausj85]

Fwiw I do hesitate to support both in any single app, at least in my depot, just so the grammar is kept small.