Oh actually, I am mistaken -- the current development version already has
that INSERT supported. You don't need to patch if you update to latest.
On Tue, Aug 16, 2016 at 7:04 AM, John Benediktsson <mrj...@gmail.com> wrote:
> Hi Georg,
>
> The necessary patch is a little different in latest Factor development
> (which will become 0.98 whenever we get ready to release). I think it's
> just a single change to a different vocabulary as the key handling was
> cleaned up a bit recently.
>
> diff --git a/basis/ui/backend/x11/keys/keys.factor
> b/basis/ui/backend/x11/keys/keys.factor
> index 5184a32..a78ead5 100644
> --- a/basis/ui/backend/x11/keys/keys.factor
> +++ b/basis/ui/backend/x11/keys/keys.factor
> @@ -29,6 +29,7 @@ CONSTANT: codes
> { $ XK_Page_Down "PAGE_DOWN" }
> { $ XK_End "END" }
> { $ XK_Begin "BEGIN" }
> + { $ XK_Insert "INSERT" }
> { $ XK_F1 "F1" }
> { $ XK_F2 "F2" }
> { $ XK_F3 "F3" }
>
> If you don't want to wait for us to figure out how we want to fix that
> bug, but still be able to easily upgrade, you can maintain your patch in
> your .factor-rc. Something like this:
>
> $ cat .factor-rc
> USING: assocs ui.backend.x11.keys ;
> "INSERT" XK_Insert codes set-at
>
>
> On Tue, Aug 16, 2016 at 6:03 AM, Georg Simon <georg.si...@auge.de> wrote:
>
>> Thank you. It worked.
>>
>>
>> Am Tue, 16 Aug 2016 14:22:42 +0200
>> schrieb Jon Harper <jon.harpe...@gmail.com>:
>>
>> > Hi,
>> > see this related issue: https://github.com/factor/factor/issues/1656
>> >
>> > The following patch adds INSERT for gtk and x11:
>> >
>> > diff --git a/basis/ui/backend/gtk/gtk.factor
>> > b/basis/ui/backend/gtk/gtk.factor
>> > index a10ad51..043db47 100644
>> > --- a/basis/ui/backend/gtk/gtk.factor
>> > +++ b/basis/ui/backend/gtk/gtk.factor
>> > @@ -110,6 +110,7 @@ CONSTANT: action-key-codes
>> > H{
>> > { $ GDK_KEY_BackSpace "BACKSPACE" }
>> > { $ GDK_KEY_Tab "TAB" }
>> > + { $ GDK_KEY_Insert "INSERT" }
>> > { $ GDK_KEY_ISO_Left_Tab "TAB" }
>> > { $ GDK_KEY_Return "RET" }
>> > { $ GDK_KEY_KP_Enter "ENTER" }
>> > diff --git a/basis/ui/backend/x11/x11.factor
>> > b/basis/ui/backend/x11/x11.factor
>> > index ef22ab9..e55eb87 100644
>> > --- a/basis/ui/backend/x11/x11.factor
>> > +++ b/basis/ui/backend/x11/x11.factor
>> > @@ -120,6 +120,7 @@ CONSTANT: key-codes
>> > { 0xFF56 "PAGE_DOWN" }
>> > { 0xFF57 "END" }
>> > { 0xFF58 "BEGIN" }
>> > + { 0xFF63 "INSERT" }
>> > { 0xFFBE "F1" }
>> > { 0xFFBF "F2" }
>> > { 0xFFC0 "F3" }
>> >
>> >
>> > Jon
>> >
>> > On Tue, Aug 16, 2016 at 12:42 PM, Georg Simon <georg.si...@auge.de>
>> > wrote:
>> >
>> > > Hello!
>> > >
>> > > I use Xubuntu and the window manager awesome (awesomewm.org).
>> > >
>> > > When I run extra/gesture-logger/gesture-logger.factor
>> > > and press the insert key I only get
>> > >
>> > > T{ key-down }
>> > > T{ key-up }
>> > >
>> > > The home key for example produces
>> > >
>> > > T{ key-down { sym "HOME" } }
>> > > T{ key-up { sym "HOME" } }
>> > >
>> > > Is it possible to use the insert key too ?
>> > >
>> > > ------------------------------------------------------------
>> > > ------------------
>> > > _______________________________________________
>> > > Factor-talk mailing list
>> > > Factor-talk@lists.sourceforge.net
>> > > https://lists.sourceforge.net/lists/listinfo/factor-talk
>> > >
>>
>>
>> ------------------------------------------------------------
>> ------------------
>> _______________________________________________
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
>
>
------------------------------------------------------------------------------
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
