[Defaults] color.bg.functiongraph = color.bg color.fg.label.picked = color.fg color.fg.label.non-picked = color.fg.disabled color.bg.functiongraph.vertex.group = rgb(226, 255, 155) color.bg.functiongraph.vertex.entry = color.palette.lightgreen color.bg.functiongraph.vertex.exit = color.palette.lightred color.bg.functiongraph.vertex.picked = color.palette.yellow color.bg.functiongraph.edge.fall-through = color.flowtype.fall-through color.bg.functiongraph.edge.fall-through.highlight = rgb(255, 127, 127) color.bg.functiongraph.edge.jump.conditional = color.flowtype.jump.conditional color.bg.functiongraph.edge.jump.conditional.highlight = green color.bg.functiongraph.edge.jump.unconditional = color.flowtype.jump.unconditional color.bg.functiongraph.edge.jump.unconditional.highlight = rgb(127, 127, 255) color.bg.functiongraph.paint.icon = rgb(189, 221, 252) // gentle pale blue [Dark Defaults] // color.bg.functiongraph = color.bg // color.fg.label.picked = color.fg // color.fg.label.non-picked = color.fg.disabled color.bg.functiongraph.vertex.group = rgb(226, 222, 179) // TODO confirm value // color.bg.functiongraph.vertex.entry = color.palette.lightgreen // color.bg.functiongraph.vertex.exit = color.palette.lightred // color.bg.functiongraph.vertex.picked = color.palette.yellow // color.bg.functiongraph.edge.fall-through = color.flowtype.fall-through color.bg.functiongraph.edge.fall-through.highlight = rgb(165, 76, 80) // color.bg.functiongraph.edge.jump.conditional = color.flowtype.jump.conditional color.bg.functiongraph.edge.jump.conditional.highlight = rgb(95, 160, 196) // color.bg.functiongraph.edge.jump.unconditional = color.flowtype.jump.unconditional color.bg.functiongraph.edge.jump.unconditional.highlight = rgb(140, 162, 88) // TODO dark version color.bg.functiongraph.paint.icon = // TODO