The Coq mailing list

[Thery Laurent <thery AT ns.di.univaq.it>]

On Wed, 15 Oct 2008, Eugene Kirpichov 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 problem seems to come from the items Cut/Copy/Paste of the
item Edit: they wrongly apply the command to the script window instead of 
the current active window.

A quick fix is to remove the key biding of these items.
One way is to use the dynamic change of short-cuts of gtk,
another one is to edit the file .coqide.keys in your home dir
and uncomment the three lines:

;(gtk_accel_path "<CoqIde MenuBar>/Edit/Paste/" "")
;(gtk_accel_path "<CoqIde MenuBar>/Edit/Copy/" "")
;(gtk_accel_path "<CoqIde MenuBar>/Edit/Cut/" "")

into

(gtk_accel_path "<CoqIde MenuBar>/Edit/Paste/" "")
(gtk_accel_path "<CoqIde MenuBar>/Edit/Copy/" "")
(gtk_accel_path "<CoqIde MenuBar>/Edit/Cut/" "")


--
Laurent