From f7f4c1959df3aa0d810de45bdcb337c5f326fc6f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20J=C3=B8rgen=20Br=C3=B8nner?= Date: Fri, 6 Jul 2018 12:45:07 +0200 Subject: [PATCH] Notes --- notes.org | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/notes.org b/notes.org index 06cebf2..f5eff0d 100644 --- a/notes.org +++ b/notes.org @@ -235,3 +235,9 @@ const Me = ExtensionUtils.getCurrentExtension(); #+END_SRC The absolute path of the an extension: `Extension.dir.get_path()` +* Misc HowTo +** Defer an execution of a function +[[https://developer.gnome.org/meta/stable/meta-Utility-functions.html#meta-later-add][~Meta.later_add~]] (assoc: ~imports.mainloop.timeout_add~) +** Increase mutter log verbosity +~Meta.add_verbose_topic(Meta.DebugTopic.FOCUS)~ +~Meta.remove_verbose_topic(Meta.DebugTopic.FOCUS)~