Jeremy Ruston wrote: > > It would be very useful to start to document these conventions. >
... > Thus, I think our conventions shouldn't be too prescriptive: they should > provide guidance for choosing between competing options. > I agree. Different plugins do different things and need different types of interfacing. Some could need frequent ongoing interaction on settings (for instance, possibly, for Rob Hoelz's "Synonyms" in the plugin he is still developing). Tabbed under config is good in the sense that its the obvious place for frequently changing settings. Another example is the way Bob is integrated into the Control Panel, where rich "settings" need to be maintained. Bob on the CP also includes documentation Tiddlers--which makes much sense for that application. TWO things I do suggest is that ALL plugins follow is ... 1 - Those that use the tagging method (adding "$:/tags/ControlPanel") to get them under config give a option to switch that behaviour OFF. 2 - The plugin ALWAYS have a Config Tiddler under a tab in the plugin itself if it has user interactive settings, whatever else its doing. PMarios Bundler plugin is a case in point (just an example). I only need to configure it ONCE. 99% of the time I don't need to see its settings. But it appears under the control panel. And its config does not appear as a tab in the plugin interface at the moment. >From my point of view I want to switch OFF seeing things where settings are finished with, done. It starts getting too "noisy" having interfaces to things I don't use much persistent in the Control Panel. Best wishes Josiah -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/cc5c291e-c340-4306-bb9f-0259164e05a3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
