| commit | 4c1576a4e31393afedb073485184a67e04b5a511 | |
| author | malc <av1474@comtv.ru> | |
| Sat, 17 Jan 2015 21:11:52 +0000 (18 00:11 +0300) | ||
| committer | malc <av1474@comtv.ru> | |
| Sat, 17 Jan 2015 21:11:52 +0000 (18 00:11 +0300) | ||
| tree | 2e6326ec5972fd32598bbb8a4ae1c3a1b66f38cb | treesnapshot (tar.gz zip) |
| parent | 7c492e38417af0cec6130c42b0ba04eebc3ee3af | commitdiff |
Further work on annotations
a) Allow deleting them
(NB the way removal from pagemap is done smells)
b) Allow entering them inline (shift+primary mouse button)
c) Retain the ability to enter them in the editor (shift+ctrl+pmb)
a) Allow deleting them
(NB the way removal from pagemap is done smells)
b) Allow entering them inline (shift+primary mouse button)
c) Retain the ability to enter them in the editor (shift+ctrl+pmb)
| KEYS | diffblobblamehistory | |
| config.ml | diffblobblamehistory | |
| link.c | diffblobblamehistory | |
| main.ml | diffblobblamehistory |