Home Gen34 @ 2026-08-31-16:39 by admin-jroeger@T14-OE130-7-ubuntu

This commit is contained in:
Jonas Röger
2026-08-31 16:39:45 +02:00
parent 6624a9b811
commit 763fcbbadb
+11
View File
@@ -278,6 +278,17 @@
:desc "New" "n" #'jj-new
)))
;; Org-mode custom property for remaining effort (not-done-items)
(defun my-org-columns-collect-open-effort (property)
"Return PROPERTY only or unfinished entries."
(if (member (org-get-todo-state) org-not-done-keywords)
(org-entry-get nil property)
""))
(setq org-columns-summary-types
'(("remaining:" org-columns--summary-sum-times my-org-columns-collect-open-effort)))
(setq auto-mode-alist (cons '("\\.smt$" . smtlib-mode) auto-mode-alist))
(autoload 'smtlib-mode "smtlib" "Major mode for SMTLIB" t)