Re: [fossil-users] more on side-by-side diffs

2011-10-18 Thread Higham, Paul
Instead of 'unified', how about 'zippered' or 'interlaced'? Paul Higham Tel +1 408 522 6225 phig...@sjm.com -Original Message- From: fossil-users-boun...@lists.fossil-scm.org [mailto:fossil-users-boun...@lists.fossil-scm.org] On Behalf Of Jan Danielsson Sent: Sunday, October 16, 2011

Re: [fossil-users] TH1 - make 1d list from 2d list?

2011-06-13 Thread Higham, Paul
If this was a full-blown Tcl then you could do dict keys [concat {*}$twoDlist] but I suspect that TH1 has neither dictionaries nor the {*} operator. How about set oneDlist foreach pair $twoDlist {lappend oneDlist [lindex $pair 0]} Paul Higham Tel +1 408 522 6225

Re: [fossil-users] IMHO Fossil needs renaming...

2011-03-02 Thread Higham, Paul
I like the name precisely because of its connotations. Fossil records are kept in perpetuity, are affected neither by bad weather, fashion nor by bad management; nothing but the act of an angry god will change them. But the connotation has to be applied to the right thing. The intended

Re: [fossil-users] switch statement

2011-02-17 Thread Higham, Paul
Did you try [switch $status { . . . ? Paul Higham Tel +1 408 522 6225 phig...@sjm.com -Original Message- From: fossil-users-boun...@lists.fossil-scm.org [mailto:fossil-users-boun...@lists.fossil-scm.org] On Behalf Of Ron Wilson Sent: Thursday, February 17, 2011 16:03 To:

[fossil-users] Character entity references

2010-03-31 Thread Higham, Paul
Is it possible in Fossil wiki markup to add special characters from the W3C character entity references? It would be quite useful to have these in documentation. For example, in html, a rightwards double arrow is specified as either rArr or #8658, but the wiki page displays both of these as just

Re: [fossil-users] Deleting a wiki page?

2010-03-18 Thread Higham, Paul
This is the best of both worlds, and an elegant solution to boot. Thanx! Paul Higham Tel +1 408 522 6225 phig...@sjm.com -Original Message- From: fossil-users-boun...@lists.fossil-scm.org [mailto:fossil-users-boun...@lists.fossil-scm.org] On Behalf Of D. Richard Hipp Sent: Thursday, March

Re: [fossil-users] Deleting a wiki page?

2010-03-17 Thread Higham, Paul
I have been wondering that myself and I would also like to know if it is possible to rename a wiki page. Paul Higham Tel +1 408 522 6225 phig...@sjm.com -Original Message- From: fossil-users-boun...@lists.fossil-scm.org [mailto:fossil-users-boun...@lists.fossil-scm.org] On Behalf Of

Re: [fossil-users] Deleting a wiki page?

2010-03-17 Thread Higham, Paul
As a wiki grows, policies for its organization are going to change as some are tried out and found wanting and others are improved and become law. The beauty of having both a wiki and embedded documentation is that the wiki can hold artifacts that are ill-formed in terms of concept and structure

[fossil-users] Replying to a message from within the archive

2010-03-02 Thread Higham, Paul
It is possible from within the mail archive to reply to the author of a specific posting, but this is only addressed to the author. Is it possible from within the archive to select a specific posting and have a reply posted to the entire set of fossil users? Paul Higham Senior Software

[fossil-users] titles in embedded documentation

2010-02-09 Thread Higham, Paul
I am using embedded documentation for a small project and I want to be able to control the page titles, one title per .wiki file. Is there a way to do that using the wiki markup only or do you have to control the whole page in html? Left as is all the .wiki pages display with the default title