changeset 7226 | a8650d6ecb53 |
parent 7170 | bd34b6d0e4f1 |
child 7293 | e5b1b6ef83db |
7225:e83351234693 | 7226:a8650d6ecb53 |
---|---|
581 "vehicle_speed", |
581 "vehicle_speed", |
582 "status_long_date", |
582 "status_long_date", |
583 "show_finances", |
583 "show_finances", |
584 "autoscroll", |
584 "autoscroll", |
585 "reverse_scroll", |
585 "reverse_scroll", |
586 "smooth_scroll", |
|
586 "errmsg_duration", |
587 "errmsg_duration", |
587 "toolbar_pos", |
588 "toolbar_pos", |
588 "measure_tooltip", |
589 "measure_tooltip", |
589 "window_snap_radius", |
590 "window_snap_radius", |
590 "invisible_trees", |
591 "invisible_trees", |