Nicolas Vuaille authored Jun 11, 2018 and Mathieu Westphal (Kitware) committed Jul 11, 2018

  * Concerning: time inspector, time widget in toolbar, property panel.
  * Add a 'Time Format' setting (sci, fixed or mixed)
  * Synchronize display options (notation, precisions) with settings
  * In 'Snap to timesteps' mode, use a combobox for available times