[PD-dev] [ pure-data-Patches-3587383 ] before loading a GUI plugin, check its not already loaded

[SourceForge.net]

Patches item #3587383, was opened at 2012-11-14 21:05
Message generated for change (Tracker Item Submitted) made by eighthave
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=478072&aid=3587383&group_id=55736

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: puredata
Group: bugfix
Status: Open
Resolution: None
Priority: 7
Private: No
Submitted By: Hans-Christoph Steiner (eighthave)
Assigned to: Miller Puckette (millerpuckette)
Summary: before loading a GUI plugin, check its not already loaded

Initial Comment:
 only load GUI plugins with the same name once, to prevent mayhem

The actual file name of the plugin is stored in a list.  Whenever a plugin
is being loaded, first pd-gui checks whether that file name is listed as
loaded.  If its loaded already, pd-gui prints a message then ignores it

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=478072&aid=3587383&group_id=55736