RunRev Script Editor and Linux

[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 . . .  :)