5 Commits (a093bc4ac0ce196d1b9fbd768a79ad9811e2ff74)

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