fix for times widget for laps mode, fix for positions panel, ui fix for server options