Changed paths:
M ninja_ide/extensions/theme/ninja_dark.qss
M ninja_ide/gui/central_widget.py
M ninja_ide/gui/dynamic_splitter.py
M ninja_ide/gui/main_panel/combo_editor.py
Log Message:
-----------
fix highlighting problem when closing splits
Changed paths:
M ninja_ide/extensions/theme/ninja_dark.qss
M ninja_ide/gui/central_widget.py
M ninja_ide/gui/dynamic_splitter.py
M ninja_ide/gui/main_panel/combo_editor.py
Log Message:
-----------
Merge pull request #1881 from diegosarmentero/master