equal
deleted
inserted
replaced
710 "smooth_scroll", |
710 "smooth_scroll", |
711 "errmsg_duration", |
711 "errmsg_duration", |
712 "toolbar_pos", |
712 "toolbar_pos", |
713 "measure_tooltip", |
713 "measure_tooltip", |
714 "window_snap_radius", |
714 "window_snap_radius", |
715 "invisible_trees", |
|
716 "population_in_label", |
715 "population_in_label", |
717 "link_terraform_toolbar", |
716 "link_terraform_toolbar", |
718 "liveries", |
717 "liveries", |
719 "prefer_teamchat", |
718 "prefer_teamchat", |
720 /* While the horizontal scrollwheel scrolling is written as general code, only |
719 /* While the horizontal scrollwheel scrolling is written as general code, only |