save/restore position of the window divider
authorJean-Philippe Orsini <jeanfi@gmail.com>
Tue, 25 Oct 2011 23:19:35 +0000 (23:19 +0000)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Tue, 25 Oct 2011 23:19:35 +0000 (23:19 +0000)
commit1cd9511eddd7b556bd7d48df372bbe19cd38fa45
tree5da8cb68bcfdc055587f6fb251994d249fbed6b1
parent203569f3e33e24693162899cba12d6ad718e5d87
save/restore position of the window divider
src/cfg.c
src/cfg.h
src/ui.c