On Fri, Sep 02, 2011 at 08:19:04AM +0100, Sam Liddicott wrote: > Are you thinking that line numbers should be a marginal note? I > would find this to be a waste of marginal notes, maybe the > programmer wants to add marginal notes about the listing.
One might specify an optional margin space for each note. > What is "resp." as in "paragraph resp. line"? You both want Line numbers for programs (paragraph based) Line numbers for papers (line based, as used by editors) Best, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
