Re: [orion-dev] CodeEdit change font size

[Sebastian Pahnke <pahnke.sebastian@xxxxxxxxx>]

Hi,

yeah, I forgot to mention that I like to change the font dynamically and not necessarily on startup. My bad :D 

The use case is a „zoom“ control for the editor text, similar to ones found in IDEs like Visual Studio. What happens in the full Orion IDE when the user changes the font size in the settings?

Regards,

Sebastian

Am 26.11.2015 um 17:15 schrieb Libing Wang <Libing_Wang@xxxxxxxxxx>:

Hi Sebastian:
Have you tried https://wiki.eclipse.org/Orion/How_Tos/Code_Edit#Theming_your_editor?

Thanks,
Libing



From:        Sebastian Pahnke <pahnke.sebastian@xxxxxxxxx>
To:        orion-dev@xxxxxxxxxxx
Date:        11/26/2015 04:49 AM
Subject:        [orion-dev] CodeEdit change font size
Sent by:        orion-dev-bounces@xxxxxxxxxxx

---

Hi,

I’d like to change the font size in the codeEdit widget. Is there a central function to do that properly? Right now I’m working around that by changing the style settings by jQuery:

$('.textview, .textviewTooltip, .contentassist').css('font-size', fontSize + 'px');
$('.textview').css('line-height', (fontSize*1.2) + 'px‘);
$('.contentassist').css('line-height', lineHeight + 'px');
$('.contentassist').css('width', width + 'px');
$('.contentassist').css('height', height + 'px');

and then ‚refreshing‘ the editor using editor.setText(editor.getText()).

However, this results in some ugly artifacts. Especially the second line breaks the zoom ruler, but without it, the lines get smushed in IE11. For the refresh I also tried using editor.getTextView().redraw(), but that causes the line numbers to look ugly.

Thanks and regards,
Sebastian

_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/orion-dev

_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/orion-dev