diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2023-12-09 21:58:40 +0100 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodrigo.arias@bsc.es> | 2023-12-20 01:06:54 +0100 |
| commit | 78ad5bfe9644d1217f9d9ad0bf2fcdc388551113 (patch) | |
| tree | 3e965a702cdfaa1136bd6550d6c88dd61e8a1f94 /test/trie.cc | |
| parent | 58a950376b3c09098da3b286bb71b7b6eb4777d2 (diff) | |
Add scroll_step option
When using the mouse wheel to scroll a page, the default scroll step was
causing a very slow scrolling speed. The new option "scroll_step" allows
the user to define how many pixels the page is moved in every step of
the mouse wheel. The default is increased to 100 pixels per step.
Diffstat (limited to 'test/trie.cc')
0 files changed, 0 insertions, 0 deletions