2017-03-10 18:34:56 +00:00
|
|
|
using Dino.Entities;
|
|
|
|
using Dino.Ui;
|
|
|
|
|
|
|
|
namespace Dino {
|
|
|
|
|
|
|
|
void main(string[] args) {
|
|
|
|
Gtk.init(ref args);
|
2017-03-11 00:25:45 +00:00
|
|
|
Application app = new Application();
|
|
|
|
Plugins.Loader loader = new Plugins.Loader();
|
2017-03-10 18:34:56 +00:00
|
|
|
foreach(string plugin in new string[]{}) {
|
|
|
|
try {
|
|
|
|
loader.load(plugin, app);
|
2017-03-11 00:25:45 +00:00
|
|
|
} catch (Plugins.Error e) {
|
2017-03-10 18:34:56 +00:00
|
|
|
print(@"Error loading plugin $plugin: $(e.message)\n");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
app.run(args);
|
2017-03-11 00:25:45 +00:00
|
|
|
loader.shutdown();
|
2017-03-10 18:34:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|