commit e21fa4e

Support color names in configuration

Using "green" is much nicer than "2".

 1@@ -156,15 +156,15 @@ pane-widths {
 2 *colors* { ... }
 3 	Settings for colors of different UI elements.
 4 
 5-	Colors are represented as numbers from 0 to 255 for 256 default terminal
 6-	colors respectively. -1 has special meaning of default terminal color. To
 7-	use true colors, *#*_rrggbb_ notation is supported.
 8+	Colors can be set either by name ("red"), by number (from 0 to 255, for the
 9+	default 256 terminal colors; -1 meaning default), or by RGB hex true color
10+	(*#*_rrggbb_).
11 
12 	Colors are set as sub-directives of the main *colors* directive:
13 
14 ```
15 colors {
16-    prompt 2 # green
17+    prompt green
18 }
19 ```
20