Groups
Sign in
Groups
NINJA-IDE-DEV
Conversations
About
Send feedback
Help
[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 PM
2/22/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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