Ticket #6698: patch-jove-local.rc.diff

File patch-jove-local.rc.diff, 276 bytes (added by blair (Blair Zajac), 18 years ago)

New patch to add jove-local-rc.

  • doc/jove-local.rc 

    diff -Nru doc/jove-local.rc.orig jove4.16.0.64/doc/jove-local.rc
    old new  
     1bind-to-key query-replace-string ^[%
     2bind-to-key suspend-jove ^Z
     3bind-to-key insert-file ^Xi