Searched refs:use_pretty_scaling (Results 1 – 4 of 4) sorted by relevance
49 bool use_pretty_scaling();
455 bool use_pretty_scaling() { in use_pretty_scaling() function
1248 preferences::set_use_pretty_scaling(!preferences::use_pretty_scaling()); in play_cycle()1267 preferences::set_use_pretty_scaling(!preferences::use_pretty_scaling()); in play_cycle()
414 if(preferences::use_pretty_scaling()) { in get_id()