eric7/Preferences/ThemeManager.py

branch
eric7
changeset 8842
80ce644a6067
parent 8820
149f941d072e
child 8875
67c3ea933787
equal deleted inserted replaced
8841:d02b7fd512b2 8842:80ce644a6067
26 Class implementing a manager object for color themes. 26 Class implementing a manager object for color themes.
27 """ 27 """
28 ColorKeyPatternList = [ 28 ColorKeyPatternList = [
29 "Diff/.*Color", 29 "Diff/.*Color",
30 "Editor/Colour/", 30 "Editor/Colour/",
31 "HexEditor/.*BackGround",
32 "HexEditor/.*ForeGround",
31 "IRC/.*Colou?r", 33 "IRC/.*Colou?r",
32 "Project/Colour", 34 "Project/Colour",
35 "Python/.*Color",
33 "Scintilla/.*color", 36 "Scintilla/.*color",
34 "Scintilla/.*paper", 37 "Scintilla/.*paper",
38 "Tasks/.*Color",
35 "WebBrowser/.*Colou?r", 39 "WebBrowser/.*Colou?r",
36 ] 40 ]
37 ColorKeyList = [ 41 ColorKeyList = [
38 "Debugger/BgColorChanged", 42 "Debugger/BgColorChanged",
39 "Debugger/BgColorNew", 43 "Debugger/BgColorNew",

eric ide

mercurial