public void SetWidgetLibraries(string[] libraries, string[] internalLibraries)
{
reloadRequested = false;
ArrayList libs = new ArrayList ();
libs.AddRange (libraries);
libs.AddRange (internalLibraries);
ProjectBackend.WidgetLibraries = libs;
libs = new ArrayList ();
libs.AddRange (internalLibraries);
ProjectBackend.InternalWidgetLibraries = libs;
app.UpdateWidgetLibraries (false, false);
if (!reloadRequested)
ProjectBackend.Reload ();
}