Power users might prefer to not see non-functional tabs such as Info and Credits, preferring to have more room for other tabs such as Queries. Currently show_queries_tab includes the hiding of the info, Credits (and possible, future, non-functional) tabs. Adding a show_cosmetic_tabs setting (default: true) separates these concerns.
Power users might prefer to not see non-functional tabs such as Info and Credits, preferring to have more room for other tabs such as Queries. Currently
show_queries_tabincludes the hiding of the info, Credits (and possible, future, non-functional) tabs. Adding ashow_cosmetic_tabssetting (default:true) separates these concerns.