Changes between Initial Version and Version 1 of Ticket #4539, comment 12
- Timestamp:
- 01/15/25 11:54:39 (8 days ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #4539, comment 12
initial v1 7 7 Several of these terminals also cleared up the legacy mess that occasionally (for the first 8 colors only) washed up two concepts (boldness vs. brightness) and made them totally independent, as it clearly would have been everywhere since day 1, had it not been due to hardware limitations half a century ago. All the terminals I'm aware of have these two concepts separated for the extended colors, i.e. for the colors used by your preferred modarin skin. 8 8 9 If you happen to cripple down on these features, if you prefer a font that does not have a bold counterpart, I'm sorry to say but I believe that's your problem, not mc's. Especially when it comes to your choice of a non-default skin. It's not the skin's job to accommodate to your limiting setup. (If it was, the same logic would imply that ''all'' the skins would have to offer a workaround for you, none of them could by design choose a bolder typeface as the only distinguishing feature because that wouldn't work ''for you''. 9 If you happen to cripple down on these features, if you prefer a font that does not have a bold counterpart, I'm sorry to say but I believe that's your problem, not mc's. Especially when it comes to your choice of a non-default skin. It's not the skin's job to accommodate to your limiting setup. (If it was, the same logic would imply that ''all'' the skins would have to offer a workaround for you, none of them could by design choose a bolder typeface as the only distinguishing feature because that wouldn't work ''for you''.) 10 10 11 11 I firmly disagree that skins would need to be fully functional if support for a certain feature is artificially eliminated from the game. … … 13 13 I am fully supportive of making sure that the ''default'' skin uses brighter colors here. I am fully supportive of having ''some'' skins that use different colors there (and we do have some). I am fully supportive of adding a brand new skin to mc designed by you, if it looks comparable in quality to the skins we already have, and is not just a single color away from the ones we already have. 14 14 15 Also let me note that with terminals that fully separate the two concepts, outside of mc the "man" command also doesn't let you see bold text (because they only apply boldness which is lost ''for you''). And in every other app that would use bold typeface as the sole distinguishing feature, it's again lost. So mc isn't even be the right place to work around the lack of bold typeface, a patch to your terminal emulator to alter the color (even in case of 256 or 16M colors) would be a better place. Of course a much quicker partial fix is to edit the skin definition file for yourself, but I see no reason to make it upstream; it would partially fix a problem that you created for yourself, a t the wrong place.15 Also let me note that with terminals that fully separate the two concepts, outside of mc the "man" command also doesn't let you see bold text (because they only apply boldness which is lost ''for you''). And in every other app that would use bold typeface as the sole distinguishing feature, it's again lost. So mc isn't even be the right place to work around the lack of bold typeface, a patch to your terminal emulator to alter the color (even in case of 256 or 16M colors) would be a better place. Of course a much quicker partial fix is to edit the skin definition file for yourself, but I see no reason to make it upstream; it would partially fix a problem that you created for yourself, and would fix that at the wrong place.
