Changes between Initial Version and Version 1 of Ticket #3666, comment 14


Ignore:
Timestamp:
07/30/16 13:17:21 (4 years ago)
Author:
egmont
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3666, comment 14

    initial v1  
    99These two seem to contradict each other. I agree that reading a large unstructured number is very hard. So why make it even harder by dropping the separator? I guess it should be fixed instead: make the thousands-separator locale-dependent. 
    1010 
    11 An unstructured number has IMO two advantages over the one with thousands separators: easy copy-pasting (let's say to "bc"), as well as iTerm 3 beta and gnome-terminal 3.20 showing useful information about the number on right click (gnome-terminal ticket with screenshot: https://bugzilla.gnome.org/show_bug.cgi?id=741728). I'd rather go for mc structuring these numbers properly. 
     11An unstructured number has IMO two advantages over the one with thousands separators: easy copy-pasting (let's say to "bc"), as well as iTerm 3 beta and gnome-terminal 3.20 showing useful information about the number on right click (gnome-terminal ticket with screenshot: https://bugzilla.gnome.org/show_bug.cgi?id=741728). Despite these two, I'd rather go for mc structuring these numbers properly though. 
    1212 
    1313Another idea to explore might be to use different color/boldness/underlying for every 3 characters, e.g. "__1__234__567__890 bytes" or some other visual differentiation.