Re: [PATCH] gitk: make Ctrl "+" really increase the font size
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:44:04
Possibly related (same subject, not in this thread)
- 2016-06-15 · Re: [PATCH] gitk: make Ctrl "+" really increase the font size · Stephan Hennig <hidden>
- 2016-06-15 · Re: [PATCH] gitk: make Ctrl "+" really increase the font size · Johannes Schindelin <hidden>
- 2016-06-15 · Re: [PATCH] gitk: make Ctrl "+" really increase the font size · Stephan Hennig <hidden>