View Issue Details

IDProjectCategoryView StatusLast Update
0001460Double CommanderDefaultpublic2020-06-19 21:52
Reporterjjj Assigned ToAlexx2000  
PriorityhighSeveritymajorReproducibilityalways
Status closedResolutionfixed 
ProjectionnoneETAnone 
Platformx86_64-Win64-win32/win64OSWindowsOS Version10
Product Version0.7.2Product Build2016/05/21 
Target Version0.7.4Fixed in Version0.7.4 
Summary0001460: Internal Diff tool does not respect custom font (size, type, ...) as defined in DC
DescriptionInternal Diff tool does not respect custom font (size, type, ...) as defined in DC.
Steps To Reproduce1) Set different font size than default.
2) run internal diff tool.
TagsNo tags attached.
Fixed in Revision6986,7008
Operating systemWindows
WidgetsetWin32
Architecture64-bit

Activities

Alexx2000

2016-07-07 21:48

administrator   ~0001808

Where are you change font? DC does not support change font of internal diff tool.

jjj

2016-07-07 23:04

reporter   ~0001809

I am using 4K monitor. So that's why I need bigger fonts. So I expected that the settings of font sizes inside DC should affect all fonts sizes of DC internal tools?

Alexx2000

2016-07-09 11:00

administrator   ~0001810

OK. Now differ use same font as internal editor in text mode and same font as internal viewer in binary mode.

Issue History

Date Modified Username Field Change
2016-07-07 19:07 jjj New Issue
2016-07-07 21:48 Alexx2000 Note Added: 0001808
2016-07-07 21:48 Alexx2000 Status new => feedback
2016-07-07 23:04 jjj Note Added: 0001809
2016-07-07 23:04 jjj Status feedback => new
2016-07-09 11:00 Alexx2000 Fixed in Revision => 6986
2016-07-09 11:00 Alexx2000 Note Added: 0001810
2016-07-09 11:00 Alexx2000 Assigned To => Alexx2000
2016-07-09 11:00 Alexx2000 Status new => resolved
2016-07-09 11:00 Alexx2000 Resolution open => fixed
2016-07-09 11:00 Alexx2000 Target Version => 0.7.4
2016-07-31 13:23 Alexx2000 Fixed in Revision 6986 => 6986,7008
2016-07-31 13:23 Alexx2000 Fixed in Version => 0.7.4
2020-06-19 21:52 Alexx2000 Status resolved => closed