| Mon, 27 Feb 2012 17:08:26 +0000 |
Chris Cannam |
Remove the single find widget from top, add one to each tab at the bottom instead. (Turns out you don't usually want to search for the same text in both types of widget.) Also provide sensible no-results text.
find
|
| Wed, 22 Feb 2012 14:54:30 +0000 |
Chris Cannam |
Implement basic search function in both work and history tabs
find
|
| Mon, 20 Feb 2012 18:15:53 +0000 |
Chris Cannam |
Start experimentally adding Find button/field
find
|
| Tue, 14 Feb 2012 17:27:34 +0000 |
Chris Cannam |
Remove Refresh button from toolbar, adjust spacing
fswatcher
|
| Tue, 14 Feb 2012 16:17:23 +0000 |
Chris Cannam |
Update the filesystem watcher with work directory / file state. Still doesn't track "clean" files properly unless "show all files" is enabled
fswatcher
|
| Mon, 13 Feb 2012 17:29:06 +0000 |
Chris Cannam |
Introduce FsWatcher into main window (though it isn't fully rigged up yet)
fswatcher
|
| Fri, 10 Feb 2012 13:08:07 +0000 |
Chris Cannam |
gah! hg 2.1 changes push and pull so as to return failure codes on success, if there was nothing to push or pull
|
| Wed, 09 Nov 2011 13:04:00 +0000 |
Chris Cannam |
idiot -- we don't need to query bookmarks separately, we can just add them to the log template
|
| Tue, 08 Nov 2011 16:42:09 +0000 |
Chris Cannam |
Bookmarks are now displayed -- but exactly like tags, so far, there's no differentiation yet
|
| Tue, 18 Oct 2011 16:50:05 +0100 |
Chris Cannam |
Add "Close branch" menu option. Is currently available in some cases where it should not be, and using it exposes the fact that the chain of marked-closed changesets is not yet right in grapher.
|
| Mon, 17 Oct 2011 22:08:05 +0100 |
Chris Cannam |
Identify closed branches and display them in a lighter shade
|
| Thu, 18 Aug 2011 16:37:27 +0100 |
Chris Cannam |
Start adding Help
|
| Thu, 18 Aug 2011 13:15:38 +0100 |
Chris Cannam |
Add tester for newer version
|
| Wed, 17 Aug 2011 16:09:04 +0100 |
Chris Cannam |
Make "Show all files" persistent (fixing #203), and rationalise some config group names (noting that "General" is actually the default group "" as it appears in the config file, not the name of a group called "General": that appears as "%General")
|
