[ninja-ide/ninja-ide] 06e3dc: Added color reverser for non custom styles

0 views
Skip to first unread message

Diego Sarmentero

unread,
Feb 22, 2015, 7:14:18 PM2/22/15
to ninja-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/ninja-ide/ninja-ide
Commit: 06e3dc168e4eed660c64ef8fbd1dc1678b46420a
https://github.com/ninja-ide/ninja-ide/commit/06e3dc168e4eed660c64ef8fbd1dc1678b46420a
Author: Horacio Duran <horaci...@canonical.com>
Date: 2015-02-22 (Sun, 22 Feb 2015)

Changed paths:
M ninja_ide/gui/editor/editor.py
M ninja_ide/gui/editor/extended_lexers/all_lexers.py
M ninja_ide/resources.py

Log Message:
-----------
Added color reverser for non custom styles


Commit: 19c89059469ca7037aeea5d1f23382daf2ceed8f
https://github.com/ninja-ide/ninja-ide/commit/19c89059469ca7037aeea5d1f23382daf2ceed8f
Author: Diego Sarmentero <diego.sa...@ninja-ide.org>
Date: 2015-02-22 (Sun, 22 Feb 2015)

Changed paths:
M ninja_ide/gui/editor/editor.py
M ninja_ide/gui/editor/extended_lexers/all_lexers.py
M ninja_ide/resources.py

Log Message:
-----------
Merge pull request #1897 from perrito666/master

Added color reverser for non custom styles


Compare: https://github.com/ninja-ide/ninja-ide/compare/2b731afb82cb...19c89059469c
Reply all
Reply to author
Forward
0 new messages