Re: Nim GTK3 editor



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]