Christof Petig schrieb: >> On the other hand, get_option could be nicely symmetric to a not yet >> existing set_option to override workspace defaults. Opinions? > > ... It would have been a good idea to browse the source instead of the > documentation :-(
This is now documented. Thomas. -- ICQ: 85945241 | SIP: 1-747-027-0392 | http://www.thomaskeller.biz > Guitone, a frontend for monotone: http://guitone.berlios.de > Music lyrics and more: http://musicmademe.com _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel
