Re: Nim GTK3 editor
- From: Stefan Salewski <mail ssalewski de>
- To: infirit <infirit gmail com>
- Cc: gtk-list gnome org
- Subject: Re: Nim GTK3 editor
- Date: Sun, 10 Jul 2016 20:38:19 +0200
On Sun, 2016-07-10 at 20:09 +0200, infirit wrote:
I have written most of my dealings with gsettings down on [1], perhaps
it is useful for you.
Thanks for your advice.
I have restarted my computer, started my editor and changed color
scheme. Terminated and restarted to ensure that it is save in
GSettings. It is. Then
$ gsettings reset-recursively "org.gtk.ned"
No such schema 'org.gtk.ned'
stefan@AMD64X2 ~/nete/NEd $ gsettings reset-recursively org.gtk.ned
No such schema 'org.gtk.ned'
stefan@AMD64X2 ~/nete/NEd $ grep org ned.nim
# http://forum.nim-lang.org/t/2258#13769
priv.settings = newSettings("org.gtk.ned")
builder = newBuilder(resourcePath = "/org/gtk/ned/gears-menu.ui")
setTemplateFromResource(klass, "/org/gtk/ned/window.ui")
priv.settings = newSettings("org.gtk.ned")
setTemplateFromResource(klass, "/org/gtk/ned/prefs.ui")
# https://mail.gnome.org/archives/gtk-list/2015-March/msg00016.html
builder = newBuilder(resourcePath = "/org/gtk/ned/app-menu.ui")
nimEdApp(newObject(typeNimEdApp, "application-id", "org.gtk.ned",
stefan@AMD64X2 ~/nete/NEd $
It is really not very easy.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]