mIRC Home    About    Download    Register    News    Help

Print Thread
Font Size in Scripts Editor #197454 06/04/08 04:51 AM
Joined: Dec 2007
Posts: 48
K
Kol Offline OP
Ameglian cow
OP Offline
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 [Re: Kol] #197457 06/04/08 05:23 AM
Joined: Aug 2004
Posts: 7,252
R
RusselB Offline
Hoopy frood
Offline
Hoopy frood
R
Joined: Aug 2004
Posts: 7,252
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 [Re: RusselB] #197463 06/04/08 10:32 AM
Joined: Sep 2005
Posts: 2,876
H
hixxy Offline
Hoopy frood
Offline
Hoopy frood
H
Joined: Sep 2005
Posts: 2,876
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 [Re: hixxy] #197472 06/04/08 07:21 PM
Joined: Oct 2003
Posts: 3,918
A
argv0 Offline
Hoopy frood
Offline
Hoopy frood
A
Joined: Oct 2003
Posts: 3,918
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 [Re: argv0] #197509 07/04/08 05:18 PM
Joined: Sep 2005
Posts: 2,876
H
hixxy Offline
Hoopy frood
Offline
Hoopy frood
H
Joined: Sep 2005
Posts: 2,876
I meant that the fact that ctrl+scrollwheel changes the font size is not a bug.

Re: Font Size in Scripts Editor [Re: hixxy] #197510 07/04/08 06:33 PM
Joined: Jan 2006
Posts: 468
symphony Offline
Fjord artisan
Offline
Fjord artisan
Joined: Jan 2006
Posts: 468
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 [Re: Kol] #197576 09/04/08 05:51 PM
Joined: Dec 2002
Posts: 4,484
Khaled Offline
Hoopy frood
Offline
Hoopy frood
Joined: Dec 2002
Posts: 4,484
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.