RunRev Script Editor and Linux

[Mark Wieder]

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.

-- 
-Mark Wieder
 mwieder at ahsoftware.net