| commit | 47fd9d8e0967b3a6f0ecaba07eaa707ba0d496ec | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Oct 14 02:58:59 2013 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Oct 14 02:58:59 2013 +0300 |
| tree | 6e20503bda736c6a98c4e7013de9566709a1ebe7 | |
| parent | 9e091e120bad18841a041229aeff7e8fa611d337 [diff] |
#4965: Implement intelligent scrolling of the sidebar in the docs.