diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-09 10:32:59 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-09 10:33:11 +0200 |
| commit | 66f19ac2fcb3af564bd54077015597f97084b824 (patch) | |
| tree | ae3d7b7a5158822c96d763e075370fa5040f16b2 /lib/spawn.ml | |
| parent | fda8ba0154742f9cbab2b88eed88d52c1f01129c (diff) | |
nanoPG: when the cursor moves, scroll to make it appear on screen
Diffstat (limited to 'lib/spawn.ml')
0 files changed, 0 insertions, 0 deletions