RunRev Script Editor and Linux

G. Wolfgang Gaich gwolfgang at
Mon Jul 12 16:49:04 EDT 2010


on my Linux machine (Ubuntu 10.04, Gnome) copy from the revolution 
editor (ctrl-c and context menu copy) works for me. But then to paste 
e.g. to gedit only works with the keyboard (crtl-v) but not with context 
menu or edit menu.

Best Regards

Am 12.07.2010 20:29, schrieb Richmond:
> On 07/12/2010 09:20 PM, Mark Wieder wrote:
>> Richmond-
>> Monday, July 12, 2010, 11:14:40 AM, you wrote:
>>> apps. While RunRev jalouses at all of them without 'fiddling'.
>> You might also try deleting your preferences file. There's a
>> long-standing bug where the copy-key-equivalent stops working, and
>> apparently it has something to do with the IDE's preferences.
> Just for fun, the preferences for RunRev are stored inside
> an invisible folder inside your home folder:
> /.runrev/revolution/studio/preferences
> and it does not fix the copy-paste problem; just mucks up your 
> preferences . . .  :)
> _______________________________________________
> use-revolution mailing list
> use-revolution at
> Please visit this url to subscribe, unsubscribe and manage your 
> subscription preferences:

More information about the Use-livecode mailing list