5 Commits (ecf1cad5712270de26ef5d19f7a298315fa92db4)

Author SHA1 Message Date
  wimrijnders 7424bfbfc2 Graph3d: make setting dotSizeRatio public (#2202) 8 years ago
  Wim Rijnders 3d0acba994 Small code cleanup and consolidation. 8 years ago
  Wim Rijnders baed96ee7c Fixes and hardening for Settings.js 8 years ago
  Wim Rijnders 3e84c3557e Moved code for settings to separate module 8 years ago