View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0001952Double CommanderGraphical user interfacepublic2017-12-10 22:042017-12-10 23:54
Reporterdoublejim Assigned To 
PrioritynormalSeveritytextReproducibilityalways
Status newResolutionopen 
ProjectionnoneETAnone 
PlatformLinuxOSUbuntuOS Version1604
Product Version0.8.0Product Build6739 
Summary0001952: highdpi problems: same font in viewer washed out, but very sharp in file viewer
DescriptionThe same font that looks very sharp in the file list window looks washed out in the document viewer (F3) - see attached screenshot.
TagsNo tags attached.
Attached Files
2017-12-10_highdpi-font-washy.png (213,744 bytes)   
2017-12-10_highdpi-font-washy.png (213,744 bytes)   
Fixed in Revision
Operating systemLinux
WidgetsetGTK2
Architecture64-bit

Activities

doublejim

2017-12-10 23:54

reporter   ~0002414

Just as a note, I do not want to open an issue for this one: the progress bars, like the buttons, are much too big everywhere in the new high-dpi gui. My display is on 144dpi btw.

Issue History

Date Modified Username Field Change
2017-12-10 22:04 doublejim New Issue
2017-12-10 22:04 doublejim File Added: 2017-12-10_highdpi-font-washy.png
2017-12-10 23:54 doublejim Note Added: 0002414