@@ -326,20 +326,24 @@ function showThemeMenu(pop) {
326326 upd ( th ) ;
327327 }
328328 let rgb = { } ;
329- rgb [ /*LANG*/ 'black' ] = "#000" ;
330- rgb [ /*LANG*/ 'white' ] = "#fff" ;
331- rgb [ /*LANG*/ 'red' ] = "#f00" ;
332- rgb [ /*LANG*/ 'green' ] = "#0f0" ;
333- rgb [ /*LANG*/ 'blue' ] = "#00f" ;
334- rgb [ /*LANG*/ 'cyan' ] = "#0ff" ;
335- rgb [ /*LANG*/ 'magenta' ] = "#f0f" ;
336- rgb [ /*LANG*/ 'yellow' ] = "#ff0" ;
337- if ( ! BANGLEJS2 ) {
338- // these would cause dithering, which is not great for e.g. text
339- rgb [ /*LANG*/ 'orange' ] = "#ff7f00" ;
340- rgb [ /*LANG*/ 'purple' ] = "#7f00ff" ;
341- rgb [ /*LANG*/ 'grey' ] = "#7f7f7f" ;
342- }
329+ rgb [ /*LANG*/ 'Black' ] = "#000" ;
330+ rgb [ /*LANG*/ 'White' ] = "#fff" ;
331+ rgb [ /*LANG*/ 'Red' ] = "#f00" ;
332+ rgb [ /*LANG*/ 'Green' ] = "#0f0" ;
333+ rgb [ /*LANG*/ 'Blue' ] = "#00f" ;
334+ rgb [ /*LANG*/ 'Cyan' ] = "#0ff" ;
335+ rgb [ /*LANG*/ 'Magenta' ] = "#f0f" ;
336+ rgb [ /*LANG*/ 'Yellow' ] = "#ff0" ;
337+
338+ // These would cause dithering, which is not great for e.g. text
339+ rgb [ /*LANG*/ 'Orange' ] = "#ff7f00" ;
340+ rgb [ /*LANG*/ 'Purple' ] = "#7f00ff" ;
341+ rgb [ /*LANG*/ 'Grey' ] = "#7f7f7f" ;
342+ rgb [ /*LANG*/ 'Maroon' ] = "#3e1363" ;
343+ rgb [ /*LANG*/ 'Indigo' ] = "#3e1363" ;
344+ rgb [ /*LANG*/ 'Dark Green' ] = "#0e5c13" ;
345+ rgb [ /*LANG*/ 'Navy' ] = "#121e75" ;
346+
343347 let colors = [ ] , names = [ ] ;
344348 for ( const c in rgb ) {
345349 names . push ( c ) ;
@@ -1077,4 +1081,4 @@ function showAltitude() {
10771081}
10781082
10791083// Show the main menu
1080- pushMenu ( mainMenu ( ) ) ;
1084+ pushMenu ( mainMenu ( ) ) ;
0 commit comments