From mboxrd@z Thu Jan 1 00:00:00 1970 From: Bastien Subject: Re: Exporter question Date: Sun, 24 Feb 2013 20:01:30 +0100 Message-ID: <87mwut5yet.fsf@bzg.ath.cx> References: <9C4C997C2CA6AA488CBC8C9E56E764EE264510C3@MBX04.uva.nl> <87r4kl9uy4.fsf@gmail.com> <4D16776B-192B-4723-80FF-AEAC5E3B458C@gmail.com> <87zjyuytt4.fsf@gmail.com> <4D936BFD-2E2A-48A1-B6B8-026ADFCD7AC8@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([208.118.235.92]:44310) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U9gpM-0000S0-3B for emacs-orgmode@gnu.org; Sun, 24 Feb 2013 14:01:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U9gpK-0004YM-VU for emacs-orgmode@gnu.org; Sun, 24 Feb 2013 14:01:36 -0500 Received: from mail-wi0-f171.google.com ([209.85.212.171]:40193) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U9gpK-0004YE-QA for emacs-orgmode@gnu.org; Sun, 24 Feb 2013 14:01:34 -0500 Received: by mail-wi0-f171.google.com with SMTP id hn17so2627682wib.10 for ; Sun, 24 Feb 2013 11:01:34 -0800 (PST) In-Reply-To: <4D936BFD-2E2A-48A1-B6B8-026ADFCD7AC8@gmail.com> (Carsten Dominik's message of "Sun, 24 Feb 2013 11:48:42 +0100") 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: Carsten Dominik Cc: "emacs-orgmode@gnu.org List" , Nicolas Goaziou , "Dominik, Carsten" Carsten Dominik writes: > I am curious why you chose the name "optional_title" for the > property? Why not, for example "TOC_TITLE" or something like this? I suggest EXPORT_ALT_TITLE instead. The EXPORT_ prefix seems more consistent with EXPORT_TITLE, and ALT sounds clearer (and short enough) to me. (I first thought TITLE was a bit confusing: IIRC, EXPORT_TITLE was first introduced for replacing the real title of the doc when exporting only one subtree... but "the title of a headline" is okay, so let's stick to TITLE.) -- Bastien