src/settings_gui.cpp
changeset 7226 a8650d6ecb53
parent 7170 bd34b6d0e4f1
child 7293 e5b1b6ef83db
equal deleted inserted replaced
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",