<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">On tisdag 4 januari 2022 21:35:39 EET Stefan Riha wrote:</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> Hi,</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> I am wondering if it's possible change the font size *outside* of the the</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> editor window to anything else other than the system defaults.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> I prefer rather large fonts as system defaults, but for a text editor I</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> would like everything (other than the editor window) to be smaller. My eyes</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> don't get tired if I quickly browse the menus and toolbars with a smaller</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> font.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> P.S. I'm not subscribed, please CC me in answers.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> </p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Sorry,</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">We only have font configuration options for the editor window. All the menus and dialogs use the system font. Exceptions to this are the search result and build output that use the current editor font. </p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">If you want smaller fonts in the menus, that probably means that you want the same smaller font also in other applications -> adjust the system font, then increase the font size in the editor window....</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Having a Kate specific configuration option to sett the font size in the UI (menus/dialogs), is not something I would spend time on.... I do not think the VDG (Visual Design Group?) would be very happy about such an option either.... We want consistency between applications.</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Regards,</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;"> Kåre</p>
<br /></body>
</html>