Re-5: Old bug still in Rev 2.8 OSX Chapter 4

[Mark Schonewille]

Hello,

Removing revpreferences.rev confronted me with another bug, which  
used to be fixed, but apparently has returned: it is impossible to  
change the font used by the script editor. This problem was  
previously reported by Andrew:

<http://quality.runrev.com/qacenter/show_bug.cgi?id=4371>

  For those who, just like me, are very happy with the much improved  
IDE of Rev 2.8 but, just like me, a bit disappointed by little  
annoying unnecessary bugs like this one, here is how to fix the  
problem. It is really easy. If you don't mind tinkering with the IDE  
a little, you can have this fixed within 5 minutes from now.

In the message box, enter the following line:

edit script of button "Default script font" of stack "revpreferencesgui"

and press enter. In the script that appears, you will see the  
following mouseDown handler:

on mouseDown
   put the label of me into lLastItem
   lock messages
   set the menuHistory of me to lineOffset(lLastItem,the text of me)
end mouseDown

Adding just one simple line, "unlock messages", fixes the problem:

on mouseDown
   put the label of me into lLastItem
   lock messages
   set the menuHistory of me to lineOffset(lLastItem,the text of me)
   unlock messages
end mouseDown

Now execute the following line from the message box:

save stack "revpreferencesgui"

and you're done.

One more remark: to make sure that your new font setting is actually  
saved between sessions, close the Preferences window before typing  
command-Q or control-Q, if you want to quit Revolution (I guess I am  
going to file another bug report now).

Best regards,

Mark

--

Economy-x-Talk
Consultancy and Software Engineering
http://economy-x-talk.com
http://www.salery.biz

Get your store on-line within minutes with Salery Web Store software.  
Download at http://www.salery.biz

Op 24-feb-2007, om 3:36 heeft Mark Schonewille het volgende geschreven: