Closed gkunter closed 7 years ago
The font size used in the context viewers is generally too small. A somewhat dirty fix would be to simply multiply the selected font size by e.g. a factor of 1.2.
The font size used in the context viewers is generally too small. A somewhat dirty fix would be to simply multiply the selected font size by e.g. a factor of 1.2.