Quote from: Lieven on March 07, 2024, 03:45:42 PMOh waw ! Je reviens sur le serveur de temps en temps, et là, surprise : du nouveau matos !
Bon, j'ai vraiment pas de dispos pour ne serais-ce que regarder ce que ça donne (ça fait 3 semaines que je ne suis pas rentré chez moi, et ça va continuer...) mais je garde ça dans un coin de ma tête !
Quote from: _Hajo_ on February 15, 2023, 09:55:15 PM- Both can be drawn in bold style.Hajo is growing flowers and James is renovating the shed but I would like to incorporate it.
if(c == '\e') {
if(decoder.has_next()) {
utf32 c2 = decoder.next();
color = handle_color_sequences(c2, default_color);
}
continue; // nothing to see
}
This code in hajo's branch was removing the letter "e" from all text in my environment.