The Coq mailing list

["Ethan Aubin" <ethan.aubin AT gmail.com>]

In a response to the feature request (1714) I entered in June, Laurent Théry suggested

First allow the dynamic change of short-cuts:

 - Add "gtk-can-change-accels = 1" in your .coqide-gtk2rc file. Then
    from CoqIde, you may select a menu entry and press the desired
    shortcut.

Then remove the short cuts for copy and paste (while selecting the button press
back space).

 

On Wed, Oct 15, 2008 at 8:36 AM, Eugene Kirpichov <ekirpichov AT gmail.com> wrote:

Hello from an inspired Coq newbie!

So. Coqide supports Copy/Paste (Ctrl-C/Ctrl-V) from the main editor
window on MS Windows.
However, I'd like to copy/paste contents of the other windows (the
goals window and coq output window) during proof steps, and it seems
like Ctrl-C/Ctrl-V and even the Menu->Edit commands are not working
there (they don't change the clipboard contents at all).

The question is: 1) Are these keys/commands *supposed* to work in
those windows? 2) If they aren't, then does there exist another way to
achieve my goal on Windows? Or maybe, at least, on Linux? (my final
goal is actually to make a presentation about Coq to our local Haskell
User Group)

--
Eugene Kirpichov
Web IR developer, Yandex

--------------------------------------------------------
Bug reports: http://logical.futurs.inria.fr/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
         http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club