5 Commits

Author	SHA1	Message	Date
Boris Faure	d082b0d6d7	win/options_mouse: apply mouse timer change to current terms	2020-07-29 22:43:25 +02:00
Boris Faure	f9e4cd9699	reorganise settings between options_behavior and options_mouse	2020-06-15 13:21:01 +02:00
Boris Faure	24400e9c69	options_mouse: add links settings	2020-06-15 13:21:01 +02:00
Boris Faure	62b101efd7	options_links: clean up	2020-06-15 13:21:00 +02:00
Boris Faure	08bfebcf6d	mv options_helpers.{c,h} options_mouse.{c,h}	2020-06-15 13:21:00 +02:00