User blog comment:Brandon Rhea/New Shortcuts Menu in the Page Header/@comment-5558012-20180110180351/@comment-26923519-20180112034057

It would be a nice option if people can set the preferences if they want to use the toolbar or the shortcuts in the page header, or both or none.