diff options
| author | Yevgeny Makarov <jenkm> | 2020-03-09 21:53:59 +0300 |
|---|---|---|
| committer | Brecht Van Lommel <brecht@blender.org> | 2020-03-09 22:18:11 +0300 |
| commit | 04e9ba7169c0889cce28171a55e81ea983d1dd79 (patch) | |
| tree | 14972a1055b92b549e56aed31887b60e00c77d99 /source | |
| parent | 2d8d30e17b560598dc29de626c6a605ac1a99b94 (diff) | |
UI: add menus for preferences editor
This only applies to the case where preferences are opened as an editor in
a workspace, not with Edit > Preferences in a new window.
Differential Revision: https://developer.blender.org/D7001
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions