Hi Gilad, thank you, that actually works!
Cheers, Matthias Am 22.02.2016 um 15:22 schrieb Gilzad Hamuni: > Hi Matthias, hi Jonathan, > > here's a version of valencia-0.8 that I applied the patches for gedit >=3.12 > on [1]. > I got the patches from here [2]. > > The only additional change I applied to the code, is to make the jump-forth > and jump-back feature work with the Alt_R-key (Alt_Gr+Left, Alt_Gr+Right). > Before that it was mapped to Alt (MOD1_MASK), which seems to be reserved in > the current versions of gedit by now. > > Note that you might need to update the following line in the Makefile to > match your current Vala version: > > LIBVALA=libvala-0.32 > > ..where libvala-0.32 stands for the current Vala version 0.31.1 . > > > > I haven't found any portion of the valencia-code that would try to access any > "enable-delete" member in an obvious way. However, given the fact that my > version of valencia works with gedit-3.14, there might be a chance for you to > have it work with gedit-3.18, too. > > Hope that helps. > > Best, > > gilzad > > [1] http://gilzad.de/linux-stuff/valencia_0.8_post_gtk3.12.zip > [2] https://bugzilla.gnome.org/show_bug.cgi?id=724173 > > >> Gesendet: Freitag, 19. Februar 2016 um 21:34 Uhr >> Von: "Jonathan Moerman" <jonathanmoer...@gmail.com> >> An: "Matthias Berndt" <matthias_ber...@gmx.de>, vala-list@gnome.org >> Betreff: Re: [Vala] Is there any usable editor for Vala? >> >> Valencia isn't limited to vala 0.24 (I've only used it with >= 0.28), you >> can build it for 0.30 by running "LIBVALA=libvala-0.30 make" (or by >> modifying the Makefile). >> That error probably isn't related to Valencia, I mentioned that I'm using >> Gedit 3.10 because I simply don't know if it will compile and run with >> newer versions of Gedit. >> I never meant that you should install 3.10, I should have been more clear. >> >> Jonathan Moerman >> >> 2016-02-19 21:15 GMT+01:00 Matthias Berndt <matthias_ber...@gmx.de>: >> >>> >>> I don't know what version of gedit you're using, but >>>>> https://github.com/JMoerman/valencia-1 works for me. (I'm using gedit >>>>> 3.10) >>>>> >>>> >>>> I'll second this. Gedit + Valencia have worked very nicely for me. It's >>>> true that there hasn't been much development of Valencia recently, but I've >>>> found it does everything I want it to. >>>> >>>> Unfortunately I can't reproduce that. After going through the trouble of >>> installing gedit 3.10 and vala 0.24 (Fedora comes with gedit 3.18 and vala >>> 0.30) and getting Valencia to compile, it crashes gedit on startup. >>> $ gedit >>> >>> (gedit:23465): GLib-GIO-ERROR **: Settings schema >>> 'org.gnome.nautilus.preferences' does not contain a key named >>> 'enable-delete' >>> Trace/Breakpoint ausgelöst (Speicherabzug geschrieben) >>> >>> Cheers, Matthias >>> >>> >> _______________________________________________ >> vala-list mailing list >> vala-list@gnome.org >> https://mail.gnome.org/mailman/listinfo/vala-list >> > _______________________________________________ > vala-list mailing list > vala-list@gnome.org > https://mail.gnome.org/mailman/listinfo/vala-list > _______________________________________________ vala-list mailing list vala-list@gnome.org https://mail.gnome.org/mailman/listinfo/vala-list