... method is ugly but effectvie. Colors use leading spaces to justify name of the color function but this(justified) name is also used for text entry label, so trim the label.
Unified · Split
| @@ -2124,7 +2124,8 @@ let enterinfomode = · 2123 unmodified lines | |||
| 2124 | (name, `string get, 1, | 2124 | (name, `string get, 1, |
| 2125 | Action (fun u -> | 2125 | Action (fun u -> |
| 2126 | let ondone s = set s in | 2126 | let ondone s = set s in |
| 2127 | let te = name ^ ": ", E.s, None, textentry, ondone, true in | 2127 | let te = |
| 2128 | String.trim name ^ ": ", E.s, None, textentry, ondone, true in | ||
| 2128 | state.mode <- Textentry (te, leave m_prev_mode); | 2129 | state.mode <- Textentry (te, leave m_prev_mode); |
| 2129 | u | 2130 | u |
| 2130 | )) :: m_l | 2131 | )) :: m_l |