Sun, 29 Jul 2007 21:12:17 +0000 |
Mark Doliner |
merge of '966f1125e1910ec58ae63a175dc5efe1fd3e10e0'
|
Sun, 29 Jul 2007 17:39:00 +0000 |
Sean Egan |
And fix smooth scroll too
|
Sun, 29 Jul 2007 17:09:32 +0000 |
Sean Egan |
Idiotic mistake. Fixes #2315
|
Sun, 29 Jul 2007 21:29:04 +0000 |
Mark Doliner |
disapproval of revision 'c2cc31f23a71f23062555721f8101fc9c997bae2'
|
Wed, 01 Aug 2007 21:43:53 +0000 |
Sadrul Habib Chowdhury |
Add two more missing characters for the HTML dump.
|
Tue, 31 Jul 2007 12:06:02 +0000 |
Sadrul Habib Chowdhury |
Use __gntbindings__ to specify a 'jump-next-unread' action bound to 'J'. This
|
Tue, 31 Jul 2007 12:03:46 +0000 |
Sadrul Habib Chowdhury |
Add support for auto-refreshing. There should be some way to change the
|
Tue, 31 Jul 2007 12:01:42 +0000 |
Sadrul Habib Chowdhury |
Export another tree function.
|