anotherim/anotherim-desktop
2
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Add '--version' flag (#1014)

Browse source
This commit is contained in:
Sergey 2021-03-05 19:29:40 +03:00 committed by GitHub
parent a07723636f
commit e19e0153ac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
main/src/ui/application.vala
View file

@ -15,6 +15,12 @@ public class Dino.Ui.Application : Gtk.Application, Dino.Application {
public Plugins.Registry plugin_registry { get; set; default = new Plugins.Registry(); } public Plugins.Registry plugin_registry { get; set; default = new Plugins.Registry(); }
public SearchPathGenerator? search_path_generator { get; set; } public SearchPathGenerator? search_path_generator { get; set; }
internal static bool print_version = false;
private const OptionEntry[] options = {
{ "version", 0, 0, OptionArg.NONE, ref print_version, "Display version number", null },
{ null }
};
public Application() throws Error { public Application() throws Error {
Object(application_id: "im.dino.Dino", flags: ApplicationFlags.HANDLES_OPEN); Object(application_id: "im.dino.Dino", flags: ApplicationFlags.HANDLES_OPEN);
init(); init();
@ -26,8 +32,14 @@ public class Dino.Ui.Application : Gtk.Application, Dino.Application {
StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), provider, STYLE_PROVIDER_PRIORITY_APPLICATION); StyleContext.add_provider_for_screen(Gdk.Screen.get_default(), provider, STYLE_PROVIDER_PRIORITY_APPLICATION);
create_actions(); create_actions();
add_main_option_entries(options);
startup.connect(() => { startup.connect(() => {
if (print_version) {
print(@"Dino $(Dino.VERSION)\n");
Process.exit(0);
}
NotificationEvents notification_events = stream_interactor.get_module(NotificationEvents.IDENTITY); NotificationEvents notification_events = stream_interactor.get_module(NotificationEvents.IDENTITY);
notification_events.register_notification_provider(new GNotificationsNotifier(stream_interactor)); notification_events.register_notification_provider(new GNotificationsNotifier(stream_interactor));
FreeDesktopNotifier? free_desktop_notifier = FreeDesktopNotifier.try_create(stream_interactor); FreeDesktopNotifier? free_desktop_notifier = FreeDesktopNotifier.try_create(stream_interactor);