160 lines
7.9 KiB
Plaintext
160 lines
7.9 KiB
Plaintext
name = monokai
|
|
lookAndFeel = Flat Dark
|
|
useDarkDefaults = true
|
|
color.cursor.focused = color.fg
|
|
|
|
color.fg.decompiler.comment = color.monokai.grey
|
|
color.fg.decompiler.constant = color.monokai.magenta
|
|
color.fg.decompiler.function.name = color.monokai.green
|
|
color.fg.decompiler.keyword = color.monokai.red
|
|
color.fg.decompiler.type = color.monokai.blue
|
|
color.fg.decompiler.variable = color.monokai.white
|
|
color.fg.decompiler.parameter = color.monokai.yellow
|
|
color.fg.decompiler.global = color.monokai.red # ?
|
|
color.fg.decompiler.error = color.monokai.red
|
|
color.fg.decompiler.special = color.monokai.cyan
|
|
|
|
|
|
color.fg.listing.bytes = color.monokai.cyan
|
|
|
|
color.fg.listing.comment.auto = color.monokai.grey
|
|
color.fg.listing.comment.eol = color.monokai.grey
|
|
color.fg.listing.comment.plate = color.monokai.grey
|
|
color.fg.listing.comment.post = color.monokai.grey
|
|
color.fg.listing.comment.pre = color.monokai.grey
|
|
color.fg.listing.comment.ref.repeatable = color.icicle.White
|
|
color.fg.listing.comment.repeatable = color.icicle.White
|
|
|
|
color.fg.listing.xref = color.monokai.gray
|
|
# color.fg.listing.xref.read = color.icicle.White
|
|
#
|
|
# color.fg.listing.pcode
|
|
|
|
color.fg.listing.constant = color.monokai.magenta
|
|
color.fg.listing.ext.entrypoint = color.icicle.Black
|
|
color.fg.listing.ext.ref.resolved = color.icicle.LightBlue
|
|
color.fg.listing.function.name = color.monokai.green
|
|
color.fg.listing.function.param.dynamic = color.monokai.purple
|
|
color.fg.listing.label.local = color.monokai.red
|
|
color.fg.listing.label.primary = color.monokai.red
|
|
# color.fg.listing.mnemonic = color.icicle.LightCyan
|
|
# color.fg.listing.mnemonic.override = color.icicle.Black
|
|
# color.fg.listing.underline = color.icicle.White
|
|
# color.fg.listing.ext.ref.unresolved = color.icicle.LightBlue
|
|
# color.fg.listing.label.non.primary = color.icicle.White
|
|
color.fg.listing.label.non.primary = temp.a
|
|
color.fg.listing.register = color.monokai.yellow
|
|
color.fg.listing.function.variable = color.monokai.white
|
|
# color.fg.listing.block.start = color.icicle.Gainsboro
|
|
color.fg.listing.block.start = temp.b
|
|
# color.fg.listing.function.tag = color.icicle.Gainsboro
|
|
color.fg.listing.function.tag = temp.c
|
|
# color.fg.listing.tabs.text.selected = color.icicle.Gainsboro
|
|
color.fg.listing.tabs.text.selected = temp.d
|
|
color.fg.listing.address = color.monokai.blue
|
|
color.fg.listing.ref.bad = color.monokai.errorRed
|
|
|
|
color.bg = color.monokai.black
|
|
# color.bg.selection = color.monokai.black
|
|
# color.bg.undefined = color.monokai.black
|
|
# color.bg.header.active = color.monokai.grey
|
|
# color.bg.header.inactive = color.monokai.black
|
|
|
|
# color.bg.filterfield = color.icicle.DarkSlateGray
|
|
# color.fg.filterfield = color.icicle.White
|
|
|
|
# color.icicle.DarkSlateGray = #2F4F4F
|
|
# color.icicle.LightSlateGray = #778899
|
|
# color.icicle.SlateGray = #708090
|
|
# color.icicle.White = #F8F8FF
|
|
# color.icicle.LightBlue = #ADD8E6
|
|
# color.icicle.GreenBlue = #5CFFF7
|
|
# color.icicle.Gainsboro = #DCDCDC
|
|
# color.icicle.LightSteelBlue = #B0C4DE
|
|
# color.icicle.LightSkyBlue = #87CEFA
|
|
# color.icicle.PowderBlue = #B0E0E6
|
|
# color.icicle.SkyBlue = #87CEEB
|
|
# color.icicle.DarkBlue = #30ACD8
|
|
# color.icicle.VeryDarkBlue = #000050
|
|
# color.icicle.LightCyan = #E0FFFF
|
|
# color.icicle.Black = #000000
|
|
# color.icicle.ErrorBlue = #00FFCC
|
|
#
|
|
color.monokai.foreground = color.monokai.white
|
|
color.monokai.background = color.monokai.black
|
|
|
|
color.monokai.grey = #525448
|
|
color.monokai.errorRed = #f92631
|
|
|
|
color.monokai.black = #272822
|
|
color.monokai.red = #f92672
|
|
color.monokai.green = #a6e22e
|
|
color.monokai.yellow = #f4bf75
|
|
color.monokai.blue = #66d9ef
|
|
color.monokai.magenta = #ae81ff
|
|
color.monokai.cyan = #a1efe4
|
|
color.monokai.white = #f8f8f2
|
|
|
|
temp.a = #008000 # #008000
|
|
temp.b = #F8D210 # #F8D210
|
|
temp.c = #800000 # #800000
|
|
temp.d = #F51720 # #F51720
|
|
temp.e = #008080 # #008080
|
|
|
|
color.palette.black = color.monokai.black
|
|
color.palette.blue = color.monokai.blue
|
|
# color.palette.blueviolet #ee82ee (Violet) #ee82ee (Violet) #ee82ee (Violet)
|
|
# color.palette.cornflowerblue #6495ed (CornflowerBlue) #6495ed (CornflowerBlue) #6495ed (CornflowerBlue)
|
|
# color.palette.cornsilk #fff8dc (Cornsilk) #fff8dc (Cornsilk) #fff8dc (Cornsilk)
|
|
# color.palette.crimson #f08080 (LightCoral) #f08080 (LightCoral) #f08080 (LightCoral)
|
|
# color.palette.cyan #5f9ea0 (CadetBlue) #5f9ea0 (CadetBlue) #5f9ea0 (CadetBlue)
|
|
# color.palette.darkcyan #008b8b (DarkCyan) #008b8b (DarkCyan) #008b8b (DarkCyan)
|
|
# color.palette.darkgray #696969 (DimGray) #696969 (DimGray) #696969 (DimGray)
|
|
# color.palette.darkgreen #70a070 #70a070 #70a070
|
|
# color.palette.darkkhaki #808000 (Olive) #808000 (Olive) #808000 (Olive)
|
|
# color.palette.darkorange #ffa500 (Orange) #ffa500 (Orange) #ffa500 (Orange)
|
|
# color.palette.darkred #fa8072 (Salmon) #fa8072 (Salmon) #fa8072 (Salmon)
|
|
# color.palette.darkslategray #2f4f4f (DarkSlateGray) #2f4f4f (DarkSlateGray) #2f4f4f (DarkSlateGray)
|
|
# color.palette.dodgerblue #1e90ff (DodgerBlue) #1e90ff (DodgerBlue) #1e90ff (DodgerBlue)
|
|
color.palette.error = color.monokai.errorRed
|
|
# color.palette.gold #ffd700 (Gold) #ffd700 (Gold) #ffd700 (Gold)
|
|
color.palette.gray = color.monokai.grey
|
|
color.palette.green = color.monokai.green
|
|
# color.palette.greenyellow #556b2f (DarkOliveGreen) #556b2f (DarkOliveGreen) #556b2f (DarkOliveGreen)
|
|
# color.palette.highlight.transparent.yellow #fffacd40 #fffacd40 #fffacd40
|
|
# color.palette.hint #778899 (LightSlateGray) #778899 (LightSlateGray) #778899 (LightSlateGray)
|
|
color.palette.indigo = color.monokai.magenta
|
|
# color.palette.khaki #d2b48c (Tan) #d2b48c (Tan) #d2b48c (Tan)
|
|
# color.palette.lavender #9932cc (DarkOrchid) #9932cc (DarkOrchid) #9932cc (DarkOrchid)
|
|
# color.palette.lemonchiffon #f0e68c (Khaki) #f0e68c (Khaki) #f0e68c (Khaki)
|
|
# color.palette.lightcoral #713232 #713232 #713232
|
|
# color.palette.lightcornflowerblue #6495ed (CornflowerBlue) #6495ed (CornflowerBlue) #6495ed (CornflowerBlue)
|
|
# color.palette.lightgray #4e4e4e #4e4e4e #4e4e4e
|
|
# color.palette.lightgreen #006400 (DarkGreen) #006400 (DarkGreen) #006400 (DarkGreen)
|
|
# color.palette.lightpink #ffb6c1 (LightPink) #ffb6c1 (LightPink) #ffb6c1 (LightPink)
|
|
# color.palette.lightpurple #805080 #805080 #805080
|
|
# color.palette.lightskyblue #065475 #065475 #065475
|
|
# color.palette.lightsteelblue #2d3d5b #2d3d5b #2d3d5b
|
|
# color.palette.lime #3cb371 (MediumSeaGreen) #3cb371 (MediumSeaGreen) #3cb371 (MediumSeaGreen)
|
|
# color.palette.limegreen #32cd32 (LimeGreen) #32cd32 (LimeGreen) #32cd32 (LimeGreen)
|
|
# color.palette.magenta #dda0dd (Plum) #dda0dd (Plum) #dda0dd (Plum)
|
|
# color.palette.maroon #f08080 (LightCoral) #f08080 (LightCoral) #f08080 (LightCoral)
|
|
# color.palette.mistyrose #ffc0cb (Pink) #ffc0cb (Pink) #ffc0cb (Pink)
|
|
color.palette.navy = color.monokai.cyan
|
|
# color.palette.nocolor #ffffff00 #ffffff00 #ffffff00
|
|
# color.palette.olive #c0c080 #c0c080 #c0c080
|
|
# color.palette.orange #ffa070 #ffa070 #ffa070
|
|
# color.palette.palegreen #2f4f4f (DarkSlateGray) #2f4f4f (DarkSlateGray) #2f4f4f (DarkSlateGray)
|
|
# color.palette.pink #ff80a0 #ff80a0 #ff80a0
|
|
# color.palette.purple #9370db (MediumPurple) #9370db (MediumPurple) #9370db (MediumPurple)
|
|
# color.palette.red #cd5c5c (IndianRed) #cd5c5c (IndianRed) #cd5c5c (IndianRed)
|
|
# color.palette.saddlebrown #deb887 (BurlyWood) #deb887 (BurlyWood) #deb887 (BurlyWood)
|
|
# color.palette.silver #383838 #383838 #383838
|
|
# color.palette.slateblue #6a5acd (SlateBlue) #6a5acd (SlateBlue) #6a5acd (SlateBlue)
|
|
# color.palette.steelblue #4682b4 (SteelBlue) #4682b4 (SteelBlue) #4682b4 (SteelBlue)
|
|
# color.palette.tan #635542 #635542 #635542
|
|
# color.palette.teal #3cb371 (MediumSeaGreen) #3cb371 (MediumSeaGreen) #3cb371 (MediumSeaGreen)
|
|
color.palette.white = color.monokai.white
|
|
color.palette.yellow = color.monokai.yellow
|
|
# color.palette.yellowgreen #9acd32 (YellowGreen) #9acd32 (YellowGreen) #9acd32 (YellowGreen)
|