Register Log In

Forums Bug Reports Font Size in Scripts Editor

Print Thread

Font Size in Scripts Editor #197454 06/04/08 04:51 AM
Joined: Dec 2007 Posts: 48 K Kol OP Ameglian cow
OP Kol Ameglian cow K Joined: Dec 2007 Posts: 48	I hold control and scroll with the mouse wheel to change the size of the text in the scripts editor. The numbers on the left which represent the line numbers don't change in size so the alignment goes all weird. Dunno if the scrolling part is a bug or the not changing size is a bug :P

Re: Font Size in Scripts Editor Kol #197457 06/04/08 05:23 AM
Joined: Aug 2004 Posts: 7,252 Ontario, Canada R RusselB Hoopy frood
RusselB Hoopy frood R Joined: Aug 2004 Posts: 7,252 Ontario, Canada	Confirmed, and I would suspect that it's the scrolling that's the bug part, as changing the font size using File - Font (in the script editor) changes the size of the line numbers as well.

Re: Font Size in Scripts Editor RusselB #197463 06/04/08 10:32 AM
Joined: Sep 2005 Posts: 2,881 H hixxy Hoopy frood
hixxy Hoopy frood H Joined: Sep 2005 Posts: 2,881	Ctrl+scrollwheel is a general richedit shortcut, so its not a bug. This is most likely happening because that event is not being caught by mIRC and the line numbers font is not being changed accordingly.

Re: Font Size in Scripts Editor hixxy #197472 06/04/08 07:21 PM
Joined: Oct 2003 Posts: 3,918 Montreal, QC, Canada A argv0 Hoopy frood
argv0 Hoopy frood A Joined: Oct 2003 Posts: 3,918 Montreal, QC, Canada	Well it is a bug because mIRC isn't catching when it should. - argv[0] on EFnet #mIRC - "Life is a pointer to an integer without a cast"

Re: Font Size in Scripts Editor argv0 #197509 07/04/08 05:18 PM
Joined: Sep 2005 Posts: 2,881 H hixxy Hoopy frood
hixxy Hoopy frood H Joined: Sep 2005 Posts: 2,881	I meant that the fact that ctrl+scrollwheel changes the font size is not a bug.

Re: Font Size in Scripts Editor hixxy #197510 07/04/08 06:33 PM
Joined: Jan 2006 Posts: 468 Mars symphony Fjord artisan
symphony Fjord artisan Joined: Jan 2006 Posts: 468 Mars	True, the bug is actually when you do the ctrl+scroll, fonts grow bigger or smaller, but the line numbers' bar is still the same. In addition, modifying the font size from File → Font won't fix it, the font size will still the same.

Re: Font Size in Scripts Editor Kol #197576 09/04/08 05:51 PM
Joined: Dec 2002 Posts: 5,502 London, UK Khaled Hoopy frood
Khaled Hoopy frood Joined: Dec 2002 Posts: 5,502 London, UK	This appears to be a richedit feature - unfortunately the only safe way to resize the fonts in the script editor is through the Font option in the File menu. I'll see if I can make mIRC handle this key/mouse combination for the next version.

Link Copied to Clipboard