4

What is the best way to set the default font size of tkdiff.

I tried to put in option add

*Menu.font {Bold 22} in the ~/.tkdiff

but did not work.

0

1 Answer 1

5

Go to Edit -> Preferences -> Appearance and change all the settings where a font name is mentioned. In my case the original config was:

-font {{DejaVu Sans Mono} 0}

Change zero to the desired font size, e.g.

-font {{DejaVu Sans Mono} 9}

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.