From: Massif <takirby@gmail.com>
Subject: GPS / Enabling Edit Functions On Mouse . . . .
Date: Tue, 3 Mar 2015 04:24:16 -0800 (PST)
Date: 2015-03-03T04:24:16-08:00 [thread overview]
Message-ID: <5b49dc19-e22f-49b9-845a-67d67b359be3@googlegroups.com> (raw)
Afin que me permettre d'utiliser les fonctions comme copier-coller à souris, j'ai ajouté la ligne
OVERRIDE_MIDDLE_CLICK_PASTE = no
à ma fiche trace.cfg en cachier .gps.
(cf. http://docs.adacore.com/gps-docs/users_guide/_build/html/editing.html#using-the-clipboard )
Cependant rien change et il faut copier-coller avec le menu . . .
Y a-t-il quelqu'un qui puisse me conseiller mieux ?
I was trying to enable X-Windows style edits (i.e. using right-clicks of the mouse) and in accordance with the suggestion given on this page of the GPA Manual
http://docs.adacore.com/gps-docs/users_guide/_build/html/editing.html#using-the-clipboard
I added the line
OVERRIDE_MIDDLE_CLICK_PASTE = no
to my trace.cfg file in the .gps folder.
However, this has changed noting and I still can't do the much more convenient mouse edit functions.
Can anyone suggest anything ?
next reply other threads:[~2015-03-03 12:24 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-03 12:24 Massif [this message]
2015-03-03 13:25 ` GPS / Enabling Edit Functions On Mouse . . . Egil H H
2015-03-03 18:23 ` Massif
2015-03-04 21:28 ` Massif
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox