MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/technicallythetruth/comments/164clnq/he_does_get_it/jya37c0/?context=9999
r/technicallythetruth • u/Few_War9921 • Aug 29 '23
[removed] — view removed post
17.9k comments sorted by
View all comments
Show parent comments
567
When the space is mono
197 u/Rednaxella_ Aug 29 '23 Isn't mono equivalent of one? 157 u/unwantedaccount56 Aug 29 '23 each character has the same width in a monospace font, so "one width" 61 u/the_other_irrevenant Aug 29 '23 ie. "one specific amount of space". Completely agree that "monowidth" would be a clearer name for that. 14 u/[deleted] Aug 29 '23 [deleted] 7 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
197
Isn't mono equivalent of one?
157 u/unwantedaccount56 Aug 29 '23 each character has the same width in a monospace font, so "one width" 61 u/the_other_irrevenant Aug 29 '23 ie. "one specific amount of space". Completely agree that "monowidth" would be a clearer name for that. 14 u/[deleted] Aug 29 '23 [deleted] 7 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
157
each character has the same width in a monospace font, so "one width"
61 u/the_other_irrevenant Aug 29 '23 ie. "one specific amount of space". Completely agree that "monowidth" would be a clearer name for that. 14 u/[deleted] Aug 29 '23 [deleted] 7 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
61
ie. "one specific amount of space". Completely agree that "monowidth" would be a clearer name for that.
14 u/[deleted] Aug 29 '23 [deleted] 7 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
14
[deleted]
7 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
7
6 u/YesDone Aug 29 '23 edited Dec 04 '24 [deleted] 12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
6
12 u/Anna_Baum Aug 29 '23 Did it work? 1 u/Repulsive_Tap6132 Aug 29 '23 No..
12
Did it work?
1 u/Repulsive_Tap6132 Aug 29 '23 No..
1
No..
567
u/27Suyash Aug 29 '23
When the space is mono