Index: src/OFStdIOStream.m ================================================================== --- src/OFStdIOStream.m +++ src/OFStdIOStream.m @@ -571,18 +571,11 @@ textcolor(code); #else if ((code = colorToANSI(color)) == -1) return; -# ifdef OF_NINTENDO_3DS - if (code >= 90) - [self writeFormat: @"\033[1;%um", code - 60]; - else - [self writeFormat: @"\033[0;%um", code]; -# else [self writeFormat: @"\033[%um", code]; -# endif #endif } - (void)setBackgroundColor: (OFColor *)color {