Re: [darcs-users] referencing in-repo branches

2018-03-07 Thread Wolfgang Jeltsch
Am Mittwoch, den 07.03.2018, 19:11 +0100 schrieb Ben Franksen: > If we choose to add in-repo branches to Darcs, we do /not/ need to be > concerned with branch identifiers! It is enough to able to name > patches to uniquely identify a branch. It doesn't even have to be the > top-most patch, just

Re: [darcs-users] [ANN] Darcs 2.14.0 release

2018-04-04 Thread Wolfgang Jeltsch
Am Mittwoch, den 04.04.2018, 11:56 -0300 schrieb Guillaume Hoffmann: > Hi all, >  >  > The Darcs team is pleased to announce the release of Darcs 2.14.0! Hi, developers! Thanks a lot for keeping up the good work. All the best, Wolfgang ___ darcs-users

Re: [darcs-users] so long and thanks for all the darcs

2018-03-20 Thread Wolfgang Jeltsch
Am Dienstag, den 20.03.2018, 18:33 +0900 schrieb Stephen J. Turnbull: > Ben Franksen writes: > > Copy & paste? It's 2018, not the 1970s. > > I frequently drop characters at the beginning or end of a selection > when using touchpads or handhelds, and occasionally with a mouse. What about

Re: [darcs-users] so long and thanks for all the darcs

2018-03-22 Thread Wolfgang Jeltsch
Am Donnerstag, den 22.03.2018, 09:12 +0900 schrieb Stephen J. Turnbull: > Wolfgang Jeltsch writes: > > > What about double-clicks, which mark the word (in this case, the > > SHA1 hash) under the cursor? > > The discoverability problem (git repositories normally will