Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changes between Initial Version and Version 1 of Ticket #652, comment 8


Ignore:
Timestamp:
2019-01-03T22:07:59Z (3 years ago)
Author:
Jiří Zárevúcky
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #652, comment 8

    initial v1  
    1 The GUI should also correctly handle various #pixels-per-line/character settings (not the same as "DPI", which is an idiocy invented by people who never figured out that not all screens are the same size).
     1The GUI should also correctly handle various #pixels-per-line/character settings (not the same as "DPI", which were probably invented by people who never noticed that not all screens are the same size).
    22Also, input devices should be associated with display/output, same as sound.