This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Bastien Montagne 332846b188 Remove editor type selector from File Browser when in 'Operator' mode. ...

Having that one when opening a file or loading some lib makes absolutely
no sense, and switching that 'temp' editor to some other type can
trigger all kind of funny bugs...

Note that using the shortcuts keys (Shift-F5 etc.) is still possible,
removing those seems a bit more involved. :/

2018-04-13 12:14:50 +02:00

9.3 KiB

Raw Blame History

View Raw