new: gui settings option "Double hotkey milliseconds"
update: design of gui settings