index 75da65582e81a825d6c7f025f1a6907be8d07a3e..d0c7b8096bfd31744201bd048e780cee134e1764 100644 (file)
*/
class plugin
-{
+{
+ /*! \brief The title shown in path menu while this plugin is visible.
+ */
+ var $pathTitle = "";
+
/*!
\brief Reference to parent object