Coverage for C:\Repos\leo-editor\leo\core\leoColor.py: 34%

35 statements  

« prev     ^ index     » next       coverage.py v6.4, created at 2022-05-24 10:21 -0500

1#@+leo-ver=5-thin 

2#@+node:ekr.20031218072017.2794: * @file leoColor.py 

3#@+<< docstring >> 

4#@+node:bob.20080115083029: ** << docstring >> 

5"""A color database for Leo. 

6 

7leo_color_database is a dictionary of color names mapped onto the 

8colors '#rrggbb' representation. 

9 

10The color names are derived from standard Linux color names which 

11includes all Tk color names. 

12 

13The names have been normalized by excluding spaces and removing 

14capitalization. This should also be done for all new colors. 

15 

16Accessor functions are provided which will normalize name requests 

17before looking them up in the database. 

18 

19These are:: 

20 

21 getColor (aka: get) 

22 getColorRGB (aka: getRGB) 

23 getColorCairo (aka: getCairo) 

24 

25Use these functions as follows:: 

26 

27 from leo.core import leoColor 

28 leoColor.getRGB(name, default) 

29 

30If neither 'name' nor 'default' can be translated then accessor functions 

31will return None. 

32""" 

33#@-<< docstring >> 

34from leo.core import leoGlobals as g 

35assert g 

36# import re 

37# import string 

38#@+<< define leo_color_database >> 

39#@+node:bob.20080115070511.2: ** << define leo_color_database >> 

40#@@language rest 

41#@+at 

42# All names added to this database should be in normalized form, 

43# otherwise the accessor functions won't work. 

44# 

45# Adding names here will make them availiable to all gui's and 

46# dhtml that use this service. 

47# 

48# Names are normalized by removing spaces and capitalization. 

49#@@c 

50leo_color_database = { 

51 # leo colors 

52 "leoblue": "#F0F8FF", #alice blue 

53 "leoyellow": "#ffffec", 

54 "leopink": "#FFE4E1", # misty rose 

55 # Solarized colors 

56 'altsolarizedgreen': '#84c805', 

57 'darkbase0': '#fdffdd', 

58 'darkbase00': '#657b83', 

59 'darkbase01': '#586e75', 

60 'darkbase02': '#073642', 

61 'darkbase03': '#000005', 

62 'darkbase04': '#000059', 

63 'darkbase05': '#003b00', 

64 'darkbase06': '#3b0000', 

65 'darkbase1': '#93a1a1', 

66 'darkbase2': '#eee8d5', 

67 'darkbase3': '#fdf6e3', 

68 'solarizedblack': '#000005', # Unofficial. 

69 'solarizedblue': '#268bd2', 

70 'solarizedcyan': '#2aa198', 

71 'solarizedgreen': '#859900', 

72 'solarizedmagenta': '#d33682', 

73 'solarizedred': '#dc322f', 

74 'solarizedorange': '#cb4b16', 

75 'solarizedviolet': '#6c71c4', 

76 'solarizedwhite': '#fdf6e3', # Unofficial: same as solorarized-base3 

77 'solarizedyellow': '#b58900', 

78 # Qt colors 

79 "aliceblue": "#F0F8FF", 

80 "antiquewhite": "#FAEBD7", 

81 "antiquewhite1": "#FFEFDB", 

82 "antiquewhite2": "#EEDFCC", 

83 "antiquewhite3": "#CDC0B0", 

84 "antiquewhite4": "#8B8378", 

85 "aquamarine": "#7FFFD4", 

86 "aquamarine1": "#7FFFD4", 

87 "aquamarine2": "#76EEC6", 

88 "aquamarine3": "#66CDAA", 

89 "aquamarine4": "#458B74", 

90 "azure": "#F0FFFF", 

91 "azure1": "#F0FFFF", 

92 "azure2": "#E0EEEE", 

93 "azure3": "#C1CDCD", 

94 "azure4": "#838B8B", 

95 "beige": "#F5F5DC", 

96 "bisque": "#FFE4C4", 

97 "bisque1": "#FFE4C4", 

98 "bisque2": "#EED5B7", 

99 "bisque3": "#CDB79E", 

100 "bisque4": "#8B7D6B", 

101 "black": "#000000", 

102 "blanchedalmond": "#FFEBCD", 

103 "blue": "#0000FF", 

104 "blue1": "#0000FF", 

105 "blue2": "#0000EE", 

106 "blue3": "#0000CD", 

107 "blue4": "#00008B", 

108 "blueviolet": "#8A2BE2", 

109 "brown": "#A52A2A", 

110 "brown1": "#FF4040", 

111 "brown2": "#EE3B3B", 

112 "brown3": "#CD3333", 

113 "brown4": "#8B2323", 

114 "burlywood": "#DEB887", 

115 "burlywood1": "#FFD39B", 

116 "burlywood2": "#EEC591", 

117 "burlywood3": "#CDAA7D", 

118 "burlywood4": "#8B7355", 

119 "cadetblue": "#5F9EA0", 

120 "cadetblue1": "#98F5FF", 

121 "cadetblue2": "#8EE5EE", 

122 "cadetblue3": "#7AC5CD", 

123 "cadetblue4": "#53868B", 

124 "chartreuse": "#7FFF00", 

125 "chartreuse1": "#7FFF00", 

126 "chartreuse2": "#76EE00", 

127 "chartreuse3": "#66CD00", 

128 "chartreuse4": "#458B00", 

129 "chocolate": "#D2691E", 

130 "chocolate1": "#FF7F24", 

131 "chocolate2": "#EE7621", 

132 "chocolate3": "#CD661D", 

133 "chocolate4": "#8B4513", 

134 "coral": "#FF7F50", 

135 "coral1": "#FF7256", 

136 "coral2": "#EE6A50", 

137 "coral3": "#CD5B45", 

138 "coral4": "#8B3E2F", 

139 "cornflowerblue": "#6495ED", 

140 "cornsilk": "#FFF8DC", 

141 "cornsilk1": "#FFF8DC", 

142 "cornsilk2": "#EEE8CD", 

143 "cornsilk3": "#CDC8B1", 

144 "cornsilk4": "#8B8878", 

145 "cyan": "#00FFFF", 

146 "cyan1": "#00FFFF", 

147 "cyan2": "#00EEEE", 

148 "cyan3": "#00CDCD", 

149 "cyan4": "#008B8B", 

150 "darkblue": "#00008B", 

151 "darkcyan": "#008B8B", 

152 "darkgoldenrod": "#B8860B", 

153 "darkgoldenrod1": "#FFB90F", 

154 "darkgoldenrod2": "#EEAD0E", 

155 "darkgoldenrod3": "#CD950C", 

156 "darkgoldenrod4": "#8B6508", 

157 "darkgray": "#A9A9A9", 

158 "darkgreen": "#006400", 

159 "darkgrey": "#A9A9A9", 

160 "darkkhaki": "#BDB76B", 

161 "darkmagenta": "#8B008B", 

162 "darkolivegreen": "#556B2F", 

163 "darkolivegreen1": "#CAFF70", 

164 "darkolivegreen2": "#BCEE68", 

165 "darkolivegreen3": "#A2CD5A", 

166 "darkolivegreen4": "#6E8B3D", 

167 "darkorange": "#FF8C00", 

168 "darkorange1": "#FF7F00", 

169 "darkorange2": "#EE7600", 

170 "darkorange3": "#CD6600", 

171 "darkorange4": "#8B4500", 

172 "darkorchid": "#9932CC", 

173 "darkorchid1": "#BF3EFF", 

174 "darkorchid2": "#B23AEE", 

175 "darkorchid3": "#9A32CD", 

176 "darkorchid4": "#68228B", 

177 "darkred": "#8B0000", 

178 "darksalmon": "#E9967A", 

179 "darkseagreen": "#8FBC8F", 

180 "darkseagreen1": "#C1FFC1", 

181 "darkseagreen2": "#B4EEB4", 

182 "darkseagreen3": "#9BCD9B", 

183 "darkseagreen4": "#698B69", 

184 "darkslateblue": "#483D8B", 

185 "darkslategray": "#2F4F4F", 

186 "darkslategray1": "#97FFFF", 

187 "darkslategray2": "#8DEEEE", 

188 "darkslategray3": "#79CDCD", 

189 "darkslategray4": "#528B8B", 

190 "darkslategrey": "#2F4F4F", 

191 "darkturquoise": "#00CED1", 

192 "darkviolet": "#9400D3", 

193 "deeppink": "#FF1493", 

194 "deeppink1": "#FF1493", 

195 "deeppink2": "#EE1289", 

196 "deeppink3": "#CD1076", 

197 "deeppink4": "#8B0A50", 

198 "deepskyblue": "#00BFFF", 

199 "deepskyblue1": "#00BFFF", 

200 "deepskyblue2": "#00B2EE", 

201 "deepskyblue3": "#009ACD", 

202 "deepskyblue4": "#00688B", 

203 "dimgray": "#696969", 

204 "dimgrey": "#696969", 

205 "dodgerblue": "#1E90FF", 

206 "dodgerblue1": "#1E90FF", 

207 "dodgerblue2": "#1C86EE", 

208 "dodgerblue3": "#1874CD", 

209 "dodgerblue4": "#104E8B", 

210 "firebrick": "#B22222", 

211 "firebrick1": "#FF3030", 

212 "firebrick2": "#EE2C2C", 

213 "firebrick3": "#CD2626", 

214 "firebrick4": "#8B1A1A", 

215 "floralwhite": "#FFFAF0", 

216 "forestgreen": "#228B22", 

217 "gainsboro": "#DCDCDC", 

218 "ghostwhite": "#F8F8FF", 

219 "gold": "#FFD700", 

220 "gold1": "#FFD700", 

221 "gold2": "#EEC900", 

222 "gold3": "#CDAD00", 

223 "gold4": "#8B7500", 

224 "goldenrod": "#DAA520", 

225 "goldenrod1": "#FFC125", 

226 "goldenrod2": "#EEB422", 

227 "goldenrod3": "#CD9B1D", 

228 "goldenrod4": "#8B6914", 

229 "gray": "#BEBEBE", 

230 "gray0": "#000000", 

231 "gray1": "#030303", 

232 "gray10": "#1A1A1A", 

233 "gray100": "#FFFFFF", 

234 "gray11": "#1C1C1C", 

235 "gray12": "#1F1F1F", 

236 "gray13": "#212121", 

237 "gray14": "#242424", 

238 "gray15": "#262626", 

239 "gray16": "#292929", 

240 "gray17": "#2B2B2B", 

241 "gray18": "#2E2E2E", 

242 "gray19": "#303030", 

243 "gray2": "#050505", 

244 "gray20": "#333333", 

245 "gray21": "#363636", 

246 "gray22": "#383838", 

247 "gray23": "#3B3B3B", 

248 "gray24": "#3D3D3D", 

249 "gray25": "#404040", 

250 "gray26": "#424242", 

251 "gray27": "#454545", 

252 "gray28": "#474747", 

253 "gray29": "#4A4A4A", 

254 "gray3": "#080808", 

255 "gray30": "#4D4D4D", 

256 "gray31": "#4F4F4F", 

257 "gray32": "#525252", 

258 "gray33": "#545454", 

259 "gray34": "#575757", 

260 "gray35": "#595959", 

261 "gray36": "#5C5C5C", 

262 "gray37": "#5E5E5E", 

263 "gray38": "#616161", 

264 "gray39": "#636363", 

265 "gray4": "#0A0A0A", 

266 "gray40": "#666666", 

267 "gray41": "#696969", 

268 "gray42": "#6B6B6B", 

269 "gray43": "#6E6E6E", 

270 "gray44": "#707070", 

271 "gray45": "#737373", 

272 "gray46": "#757575", 

273 "gray47": "#787878", 

274 "gray48": "#7A7A7A", 

275 "gray49": "#7D7D7D", 

276 "gray5": "#0D0D0D", 

277 "gray50": "#7F7F7F", 

278 "gray51": "#828282", 

279 "gray52": "#858585", 

280 "gray53": "#878787", 

281 "gray54": "#8A8A8A", 

282 "gray55": "#8C8C8C", 

283 "gray56": "#8F8F8F", 

284 "gray57": "#919191", 

285 "gray58": "#949494", 

286 "gray59": "#969696", 

287 "gray6": "#0F0F0F", 

288 "gray60": "#999999", 

289 "gray61": "#9C9C9C", 

290 "gray62": "#9E9E9E", 

291 "gray63": "#A1A1A1", 

292 "gray64": "#A3A3A3", 

293 "gray65": "#A6A6A6", 

294 "gray66": "#A8A8A8", 

295 "gray67": "#ABABAB", 

296 "gray68": "#ADADAD", 

297 "gray69": "#B0B0B0", 

298 "gray7": "#121212", 

299 "gray70": "#B3B3B3", 

300 "gray71": "#B5B5B5", 

301 "gray72": "#B8B8B8", 

302 "gray73": "#BABABA", 

303 "gray74": "#BDBDBD", 

304 "gray75": "#BFBFBF", 

305 "gray76": "#C2C2C2", 

306 "gray77": "#C4C4C4", 

307 "gray78": "#C7C7C7", 

308 "gray79": "#C9C9C9", 

309 "gray8": "#141414", 

310 "gray80": "#CCCCCC", 

311 "gray81": "#CFCFCF", 

312 "gray82": "#D1D1D1", 

313 "gray83": "#D4D4D4", 

314 "gray84": "#D6D6D6", 

315 "gray85": "#D9D9D9", 

316 "gray86": "#DBDBDB", 

317 "gray87": "#DEDEDE", 

318 "gray88": "#E0E0E0", 

319 "gray89": "#E3E3E3", 

320 "gray9": "#171717", 

321 "gray90": "#E5E5E5", 

322 "gray91": "#E8E8E8", 

323 "gray92": "#EBEBEB", 

324 "gray93": "#EDEDED", 

325 "gray94": "#F0F0F0", 

326 "gray95": "#F2F2F2", 

327 "gray96": "#F5F5F5", 

328 "gray97": "#F7F7F7", 

329 "gray98": "#FAFAFA", 

330 "gray99": "#FCFCFC", 

331 "green": "#00FF00", 

332 "green1": "#00FF00", 

333 "green2": "#00EE00", 

334 "green3": "#00CD00", 

335 "green4": "#008B00", 

336 "greenyellow": "#ADFF2F", 

337 "grey": "#BEBEBE", 

338 "grey0": "#000000", 

339 "grey1": "#030303", 

340 "grey10": "#1A1A1A", 

341 "grey100": "#FFFFFF", 

342 "grey11": "#1C1C1C", 

343 "grey12": "#1F1F1F", 

344 "grey13": "#212121", 

345 "grey14": "#242424", 

346 "grey15": "#262626", 

347 "grey16": "#292929", 

348 "grey17": "#2B2B2B", 

349 "grey18": "#2E2E2E", 

350 "grey19": "#303030", 

351 "grey2": "#050505", 

352 "grey20": "#333333", 

353 "grey21": "#363636", 

354 "grey22": "#383838", 

355 "grey23": "#3B3B3B", 

356 "grey24": "#3D3D3D", 

357 "grey25": "#404040", 

358 "grey26": "#424242", 

359 "grey27": "#454545", 

360 "grey28": "#474747", 

361 "grey29": "#4A4A4A", 

362 "grey3": "#080808", 

363 "grey30": "#4D4D4D", 

364 "grey31": "#4F4F4F", 

365 "grey32": "#525252", 

366 "grey33": "#545454", 

367 "grey34": "#575757", 

368 "grey35": "#595959", 

369 "grey36": "#5C5C5C", 

370 "grey37": "#5E5E5E", 

371 "grey38": "#616161", 

372 "grey39": "#636363", 

373 "grey4": "#0A0A0A", 

374 "grey40": "#666666", 

375 "grey41": "#696969", 

376 "grey42": "#6B6B6B", 

377 "grey43": "#6E6E6E", 

378 "grey44": "#707070", 

379 "grey45": "#737373", 

380 "grey46": "#757575", 

381 "grey47": "#787878", 

382 "grey48": "#7A7A7A", 

383 "grey49": "#7D7D7D", 

384 "grey5": "#0D0D0D", 

385 "grey50": "#7F7F7F", 

386 "grey51": "#828282", 

387 "grey52": "#858585", 

388 "grey53": "#878787", 

389 "grey54": "#8A8A8A", 

390 "grey55": "#8C8C8C", 

391 "grey56": "#8F8F8F", 

392 "grey57": "#919191", 

393 "grey58": "#949494", 

394 "grey59": "#969696", 

395 "grey6": "#0F0F0F", 

396 "grey60": "#999999", 

397 "grey61": "#9C9C9C", 

398 "grey62": "#9E9E9E", 

399 "grey63": "#A1A1A1", 

400 "grey64": "#A3A3A3", 

401 "grey65": "#A6A6A6", 

402 "grey66": "#A8A8A8", 

403 "grey67": "#ABABAB", 

404 "grey68": "#ADADAD", 

405 "grey69": "#B0B0B0", 

406 "grey7": "#121212", 

407 "grey70": "#B3B3B3", 

408 "grey71": "#B5B5B5", 

409 "grey72": "#B8B8B8", 

410 "grey73": "#BABABA", 

411 "grey74": "#BDBDBD", 

412 "grey75": "#BFBFBF", 

413 "grey76": "#C2C2C2", 

414 "grey77": "#C4C4C4", 

415 "grey78": "#C7C7C7", 

416 "grey79": "#C9C9C9", 

417 "grey8": "#141414", 

418 "grey80": "#CCCCCC", 

419 "grey81": "#CFCFCF", 

420 "grey82": "#D1D1D1", 

421 "grey84": "#D6D6D6", 

422 "grey85": "#D9D9D9", 

423 "grey86": "#DBDBDB", 

424 "grey87": "#DEDEDE", 

425 "grey88": "#E0E0E0", 

426 "grey89": "#E3E3E3", 

427 "grey9": "#171717", 

428 "grey90": "#E5E5E5", 

429 "grey91": "#E8E8E8", 

430 "grey92": "#EBEBEB", 

431 "grey93": "#EDEDED", 

432 "grey94": "#F0F0F0", 

433 "grey95": "#F2F2F2", 

434 "grey96": "#F5F5F5", 

435 "grey97": "#F7F7F7", 

436 "grey98": "#FAFAFA", 

437 "grey99": "#FCFCFC", 

438 "honeydew": "#F0FFF0", 

439 "honeydew1": "#F0FFF0", 

440 "honeydew2": "#E0EEE0", 

441 "honeydew3": "#C1CDC1", 

442 "honeydew4": "#838B83", 

443 "hotpink": "#FF69B4", 

444 "hotpink1": "#FF6EB4", 

445 "hotpink2": "#EE6AA7", 

446 "hotpink3": "#CD6090", 

447 "hotpink4": "#8B3A62", 

448 "indianred": "#CD5C5C", 

449 "indianred1": "#FF6A6A", 

450 "indianred2": "#EE6363", 

451 "indianred3": "#CD5555", 

452 "indianred4": "#8B3A3A", 

453 "ivory": "#FFFFF0", 

454 "ivory1": "#FFFFF0", 

455 "ivory2": "#EEEEE0", 

456 "ivory3": "#CDCDC1", 

457 "ivory4": "#8B8B83", 

458 "khaki": "#F0E68C", 

459 "khaki1": "#FFF68F", 

460 "khaki2": "#EEE685", 

461 "khaki3": "#CDC673", 

462 "khaki4": "#8B864E", 

463 "lavender": "#E6E6FA", 

464 "lavenderblush": "#FFF0F5", 

465 "lavenderblush1": "#FFF0F5", 

466 "lavenderblush2": "#EEE0E5", 

467 "lavenderblush3": "#CDC1C5", 

468 "lavenderblush4": "#8B8386", 

469 "lawngreen": "#7CFC00", 

470 "lemonchiffon": "#FFFACD", 

471 "lemonchiffon1": "#FFFACD", 

472 "lemonchiffon2": "#EEE9BF", 

473 "lemonchiffon3": "#CDC9A5", 

474 "lemonchiffon4": "#8B8970", 

475 "lightblue": "#ADD8E6", 

476 "lightblue1": "#BFEFFF", 

477 "lightblue2": "#B2DFEE", 

478 "lightblue3": "#9AC0CD", 

479 "lightblue4": "#68838B", 

480 "lightcoral": "#F08080", 

481 "lightcyan": "#E0FFFF", 

482 "lightcyan1": "#E0FFFF", 

483 "lightcyan2": "#D1EEEE", 

484 "lightcyan3": "#B4CDCD", 

485 "lightcyan4": "#7A8B8B", 

486 "lightgoldenrod": "#EEDD82", 

487 "lightgoldenrod1": "#FFEC8B", 

488 "lightgoldenrod2": "#EEDC82", 

489 "lightgoldenrod3": "#CDBE70", 

490 "lightgoldenrod4": "#8B814C", 

491 "lightgoldenrodyellow": "#FAFAD2", 

492 "lightgray": "#D3D3D3", 

493 "lightgreen": "#90EE90", 

494 "lightgrey": "#D3D3D3", 

495 "lightpink": "#FFB6C1", 

496 "lightpink1": "#FFAEB9", 

497 "lightpink2": "#EEA2AD", 

498 "lightpink3": "#CD8C95", 

499 "lightpink4": "#8B5F65", 

500 "lightsalmon": "#FFA07A", 

501 "lightsalmon1": "#FFA07A", 

502 "lightsalmon2": "#EE9572", 

503 "lightsalmon3": "#CD8162", 

504 "lightsalmon4": "#8B5742", 

505 "lightseagreen": "#20B2AA", 

506 "lightskyblue": "#87CEFA", 

507 "lightskyblue1": "#B0E2FF", 

508 "lightskyblue2": "#A4D3EE", 

509 "lightskyblue3": "#8DB6CD", 

510 "lightskyblue4": "#607B8B", 

511 "lightslateblue": "#8470FF", 

512 "lightslategray": "#778899", 

513 "lightslategrey": "#778899", 

514 "lightsteelblue": "#B0C4DE", 

515 "lightsteelblue1": "#CAE1FF", 

516 "lightsteelblue2": "#BCD2EE", 

517 "lightsteelblue3": "#A2B5CD", 

518 "lightsteelblue4": "#6E7B8B", 

519 "lightyellow": "#FFFFE0", 

520 "lightyellow1": "#FFFFE0", 

521 "lightyellow2": "#EEEED1", 

522 "lightyellow3": "#CDCDB4", 

523 "lightyellow4": "#8B8B7A", 

524 "limegreen": "#32CD32", 

525 "linen": "#FAF0E6", 

526 "magenta": "#FF00FF", 

527 "magenta1": "#FF00FF", 

528 "magenta2": "#EE00EE", 

529 "magenta3": "#CD00CD", 

530 "magenta4": "#8B008B", 

531 "maroon": "#B03060", 

532 "maroon1": "#FF34B3", 

533 "maroon2": "#EE30A7", 

534 "maroon3": "#CD2990", 

535 "maroon4": "#8B1C62", 

536 "mediumaquamarine": "#66CDAA", 

537 "mediumblue": "#0000CD", 

538 "mediumorchid": "#BA55D3", 

539 "mediumorchid1": "#E066FF", 

540 "mediumorchid2": "#D15FEE", 

541 "mediumorchid3": "#B452CD", 

542 "mediumorchid4": "#7A378B", 

543 "mediumpurple": "#9370DB", 

544 "mediumpurple1": "#AB82FF", 

545 "mediumpurple2": "#9F79EE", 

546 "mediumpurple3": "#8968CD", 

547 "mediumpurple4": "#5D478B", 

548 "mediumseagreen": "#3CB371", 

549 "mediumslateblue": "#7B68EE", 

550 "mediumspringgreen": "#00FA9A", 

551 "mediumturquoise": "#48D1CC", 

552 "mediumvioletred": "#C71585", 

553 "midnightblue": "#191970", 

554 "mintcream": "#F5FFFA", 

555 "mistyrose": "#FFE4E1", 

556 "mistyrose1": "#FFE4E1", 

557 "mistyrose2": "#EED5D2", 

558 "mistyrose3": "#CDB7B5", 

559 "mistyrose4": "#8B7D7B", 

560 "moccasin": "#FFE4B5", 

561 "navajowhite": "#FFDEAD", 

562 "navajowhite1": "#FFDEAD", 

563 "navajowhite2": "#EECFA1", 

564 "navajowhite3": "#CDB38B", 

565 "navajowhite4": "#8B795E", 

566 "navy": "#000080", 

567 "navyblue": "#000080", 

568 "oldlace": "#FDF5E6", 

569 "olivedrab": "#6B8E23", 

570 "olivedrab1": "#C0FF3E", 

571 "olivedrab2": "#B3EE3A", 

572 "olivedrab3": "#9ACD32", 

573 "olivedrab4": "#698B22", 

574 "orange": "#FFA500", 

575 "orange1": "#FFA500", 

576 "orange2": "#EE9A00", 

577 "orange3": "#CD8500", 

578 "orange4": "#8B5A00", 

579 "orangered": "#FF4500", 

580 "orangered1": "#FF4500", 

581 "orangered2": "#EE4000", 

582 "orangered3": "#CD3700", 

583 "orangered4": "#8B2500", 

584 "orchid": "#DA70D6", 

585 "orchid1": "#FF83FA", 

586 "orchid2": "#EE7AE9", 

587 "orchid3": "#CD69C9", 

588 "orchid4": "#8B4789", 

589 "palegoldenrod": "#EEE8AA", 

590 "palegreen": "#98FB98", 

591 "palegreen1": "#9AFF9A", 

592 "palegreen2": "#90EE90", 

593 "palegreen3": "#7CCD7C", 

594 "palegreen4": "#548B54", 

595 "paleturquoise": "#AFEEEE", 

596 "paleturquoise1": "#BBFFFF", 

597 "paleturquoise2": "#AEEEEE", 

598 "paleturquoise3": "#96CDCD", 

599 "paleturquoise4": "#668B8B", 

600 "palevioletred": "#DB7093", 

601 "palevioletred1": "#FF82AB", 

602 "palevioletred2": "#EE799F", 

603 "palevioletred3": "#CD6889", 

604 "palevioletred4": "#8B475D", 

605 "papayawhip": "#FFEFD5", 

606 "peachpuff": "#FFDAB9", 

607 "peachpuff1": "#FFDAB9", 

608 "peachpuff2": "#EECBAD", 

609 "peachpuff3": "#CDAF95", 

610 "peachpuff4": "#8B7765", 

611 "peru": "#CD853F", 

612 "pink": "#FFC0CB", 

613 "pink1": "#FFB5C5", 

614 "pink2": "#EEA9B8", 

615 "pink3": "#CD919E", 

616 "pink4": "#8B636C", 

617 "plum": "#DDA0DD", 

618 "plum1": "#FFBBFF", 

619 "plum2": "#EEAEEE", 

620 "plum3": "#CD96CD", 

621 "plum4": "#8B668B", 

622 "powderblue": "#B0E0E6", 

623 "purple": "#A020F0", 

624 "purple1": "#9B30FF", 

625 "purple2": "#912CEE", 

626 "purple3": "#7D26CD", 

627 "purple4": "#551A8B", 

628 "red": "#FF0000", 

629 "red1": "#FF0000", 

630 "red2": "#EE0000", 

631 "red3": "#CD0000", 

632 "red4": "#8B0000", 

633 "rosybrown": "#BC8F8F", 

634 "rosybrown1": "#FFC1C1", 

635 "rosybrown2": "#EEB4B4", 

636 "rosybrown3": "#CD9B9B", 

637 "rosybrown4": "#8B6969", 

638 "royalblue": "#4169E1", 

639 "royalblue1": "#4876FF", 

640 "royalblue2": "#436EEE", 

641 "royalblue3": "#3A5FCD", 

642 "royalblue4": "#27408B", 

643 "saddlebrown": "#8B4513", 

644 "salmon": "#FA8072", 

645 "salmon1": "#FF8C69", 

646 "salmon2": "#EE8262", 

647 "salmon3": "#CD7054", 

648 "salmon4": "#8B4C39", 

649 "sandybrown": "#F4A460", 

650 "seagreen": "#2E8B57", 

651 "seagreen1": "#54FF9F", 

652 "seagreen2": "#4EEE94", 

653 "seagreen3": "#43CD80", 

654 "seagreen4": "#2E8B57", 

655 "seashell": "#FFF5EE", 

656 "seashell1": "#FFF5EE", 

657 "seashell2": "#EEE5DE", 

658 "seashell3": "#CDC5BF", 

659 "seashell4": "#8B8682", 

660 "sienna": "#A0522D", 

661 "sienna1": "#FF8247", 

662 "sienna2": "#EE7942", 

663 "sienna3": "#CD6839", 

664 "sienna4": "#8B4726", 

665 "skyblue": "#87CEEB", 

666 "skyblue1": "#87CEFF", 

667 "skyblue2": "#7EC0EE", 

668 "skyblue3": "#6CA6CD", 

669 "skyblue4": "#4A708B", 

670 "slateblue": "#6A5ACD", 

671 "slateblue1": "#836FFF", 

672 "slateblue2": "#7A67EE", 

673 "slateblue3": "#6959CD", 

674 "slateblue4": "#473C8B", 

675 "slategray": "#708090", 

676 "slategray1": "#C6E2FF", 

677 "slategray2": "#B9D3EE", 

678 "slategray3": "#9FB6CD", 

679 "slategray4": "#6C7B8B", 

680 "slategrey": "#708090", 

681 "snow": "#FFFAFA", 

682 "snow1": "#FFFAFA", 

683 "snow2": "#EEE9E9", 

684 "snow3": "#CDC9C9", 

685 "snow4": "#8B8989", 

686 "springgreen": "#00FF7F", 

687 "springgreen1": "#00FF7F", 

688 "springgreen2": "#00EE76", 

689 "springgreen3": "#00CD66", 

690 "springgreen4": "#008B45", 

691 "steelblue": "#4682B4", 

692 "steelblue1": "#63B8FF", 

693 "steelblue2": "#5CACEE", 

694 "steelblue3": "#4F94CD", 

695 "steelblue4": "#36648B", 

696 "tan": "#D2B48C", 

697 "tan1": "#FFA54F", 

698 "tan2": "#EE9A49", 

699 "tan3": "#CD853F", 

700 "tan4": "#8B5A2B", 

701 "thistle": "#D8BFD8", 

702 "thistle1": "#FFE1FF", 

703 "thistle2": "#EED2EE", 

704 "thistle3": "#CDB5CD", 

705 "thistle4": "#8B7B8B", 

706 "tomato": "#FF6347", 

707 "tomato1": "#FF6347", 

708 "tomato2": "#EE5C42", 

709 "tomato3": "#CD4F39", 

710 "tomato4": "#8B3626", 

711 "turquoise": "#40E0D0", 

712 "turquoise1": "#00F5FF", 

713 "turquoise2": "#00E5EE", 

714 "turquoise3": "#00C5CD", 

715 "turquoise4": "#00868B", 

716 "violet": "#EE82EE", 

717 "violetred": "#D02090", 

718 "violetred1": "#FF3E96", 

719 "violetred2": "#EE3A8C", 

720 "violetred3": "#CD3278", 

721 "violetred4": "#8B2252", 

722 "wheat": "#F5DEB3", 

723 "wheat1": "#FFE7BA", 

724 "wheat2": "#EED8AE", 

725 "wheat3": "#CDBA96", 

726 "wheat4": "#8B7E66", 

727 "white": "#FFFFFF", 

728 "whitesmoke": "#F5F5F5", 

729 "yellow": "#FFFF00", 

730 "yellow1": "#FFFF00", 

731 "yellow2": "#EEEE00", 

732 "yellow3": "#CDCD00", 

733 "yellow4": "#8B8B00", 

734 "yellowgreen": "#9ACD32" 

735} 

736#@-<< define leo_color_database >> 

737# 

738# Check that all keys are normalized. 

739# This is essential for Leo's jEdit-based colorizers. 

740for key in leo_color_database: 

741 if not key.isalnum(): 

742 print(f'\nleoColor.py: non-normalized key: {key!r}\n') 

743#@+others 

744#@+node:bob.20080115070511.3: ** color database functions 

745#@+node:bob.20071231111744.2: *3* get / getColor 

746def getColor(name, default=None): 

747 """ Translate a named color into #rrggbb' format. 

748 

749 if 'name' is not a string it is returned unchanged. 

750 

751 If 'name' is already in '#rrggbb' format then it is returned unchanged. 

752 

753 If 'name' is not in global_color_database then getColor(default, None) 

754 is called and that result returned. 

755 """ 

756 if not isinstance(name, str): 

757 return name 

758 if name[0] == '#': 

759 return name 

760 name = name.replace(' ', '').lower().strip() 

761 if name in leo_color_database: 

762 name2 = leo_color_database[name] 

763 return name2 

764 if default: 

765 return getColor(default, default=None) 

766 return None 

767 

768get = getColor 

769#@+node:bob.20080115070511.4: *3* getRGB / getColorRGB 

770def getColorRGB(name, default=None): 

771 """Convert a named color into an (r, g, b) tuple.""" 

772 s = getColor(name, default) 

773 try: 

774 color = int(s[1:3], 16), int(s[3:5], 16), int(s[5:7], 16) 

775 except Exception: 

776 color = None 

777 return color 

778 

779getRGB = getColorRGB 

780#@+node:bob.20080115072302: *3* getCairo / getColorCairo 

781def getColorCairo(name, default=None): 

782 """Convert a named color into a cairo color tuple.""" 

783 # pylint: disable=unpacking-non-sequence 

784 color = getColorRGB(name, default) 

785 if color is None: 

786 return None 

787 r, g, b = color 

788 return r / 255.0, g / 255.0, b / 255.0 

789 

790getCairo = getColorCairo 

791#@-others 

792#@@language python 

793#@@tabwidth -4 

794#@@pagewidth 70 

795#@-leo