savePluginPreferences()
1 file changed
tree: cbe911c9ab9c8c105ed5f66292097785b7089b8e
  1. itcl/
  2. tcl/
  3. xotcl/