commit | c2c41cc19a18be30411d69e0bbddfbc5377c5dbf | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Fri Sep 17 08:41:22 2010 +0000 |
committer | Dani Megert <dmegert> | Fri Sep 17 08:41:22 2010 +0000 |
tree | c1c54619c9ba7235d8fe5ead12c28f4daa3da446 | |
parent | 1203b7504922b1b505d3fa313b568f9be04359fd [diff] |
Committed Markus's patch to fix bug 325438: [typing] TextViewer.shift(...) does not shift last line, if it is empty.