diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-25 23:16:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-25 23:16:06 +0200 |
| commit | 938681724f80ef6ae5c1e0bc64b479bae7fdda5c (patch) | |
| tree | ff4f641f21026b23a1101f1c34b2ce97000ef1fd /editor/editor_fonts.h | |
| parent | 1aabf4c1668bd989db6667a2dcc76d5699d84833 (diff) | |
| parent | 35c5422dc2e3451abfc3f3debadcb69dabb77c23 (diff) | |
Merge pull request #11541 from Paulb23/tree_arrow_goto_parent
Goto to parent on left arrow in tree with single column
[ci skip]
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions