From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rasmus Subject: Re: koma letter exporter: changing the priority of options Date: Sat, 31 Aug 2013 18:05:25 +0200 Message-ID: <877gf1kfqy.fsf@gmx.us> References: <20130609180059.GA2104@kenny.local> <874nd6we8q.fsf@pank.eu> <20130720115503.GA67549@kenny.local> <87eh9s46kx.fsf@pank.eu> <87vc34dvyo.fsf@gmx.us> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43481) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VFng8-0004Ud-Ox for emacs-orgmode@gnu.org; Sat, 31 Aug 2013 12:05:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VFng2-0000uG-Ie for emacs-orgmode@gnu.org; Sat, 31 Aug 2013 12:05:36 -0400 Received: from mout.gmx.net ([212.227.17.21]:59392) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VFng2-0000u8-8N for emacs-orgmode@gnu.org; Sat, 31 Aug 2013 12:05:30 -0400 Received: from dhcppc0 ([94.34.251.221]) by mail.gmx.com (mrgmx103) with ESMTPSA (Nemesis) id 0MGB7j-1VCF3P1Qr1-00F8QG for ; Sat, 31 Aug 2013 18:05:28 +0200 In-Reply-To: (Alan Schmitt's message of "Sat, 31 Aug 2013 16:35:10 +0200") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: alan.schmitt@polytechnique.org Cc: emacs-orgmode@gnu.org Hi Alan, Alan Schmitt writes: >>> I tried to fix it in the updated attached patch. I set a default value >>> of "foldmarks-not-set" to the predicate that detects if it is set in the >>> file, then I compare its contents. This assumes that the user will not >>> give this literal value to the option. >> >> The attached version is updated to apply cleanly on master (after >> applying your other patches). > > I've pushed this. Please don't hesitate to send suggestions to improve > it, or report if it does not work as expected. Great, it'll serve for now. It shouldn't case any breaks. =E2=80=93Rasmus=20 --=20 C is for Cookie