Eric Lippmann a379502b15 Preferences: Rename showBenchmark' to show_benchmark'
We use underscore_case notation for all configuration keys.

refs #4952
2014-06-02 13:33:55 +02:00
..