diff options
author | Julian Eisel <eiseljulian@gmail.com> | 2018-03-23 16:13:13 +0300 |
---|---|---|
committer | Julian Eisel <eiseljulian@gmail.com> | 2018-03-23 16:28:46 +0300 |
commit | 60712d12eb89fe85204f9a0dbc86e361b8ad6c58 (patch) | |
tree | 5ba4db01be79b7158ea14df0e310f4e51b8394db /extern/glog/src | |
parent | 7cc2b27099b7435cc1a29a48ae0e4c8335d811f3 (diff) |
UI: 4-column layout for the editor-type selector menu
The list of editor-types is rather long by now, so better to arrange them into
sections.
Original patch by @jeske with updates by @Blendify and myself.
Design Task: T36028
Patch: D3112
Diffstat (limited to 'extern/glog/src')
0 files changed, 0 insertions, 0 deletions