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