Jordan Petridis 4fa973007d App: Make sure to quit on delete event. ... Since 9a76c6428a I've noticed the applciation does not quit properly, and then it's unable to be launched again till it's killed manually. This patch is an attept to correct/workaroud that by calling explcitly gio::ApplicationExt::quit().		2018-08-06 01:01:21 +03:00
..
po	Translation support and initial spanish translation	2018-08-02 15:24:19 +02:00
resources	Appdata: Remove 'lang=' metadata tag from the description.	2018-07-31 11:22:15 +03:00
src	App: Make sure to quit on delete event.	2018-08-06 01:01:21 +03:00
build.rs	Fix Rust 2018 edition warnings	2018-08-05 11:24:20 +03:00
Cargo.toml	Translation support and initial spanish translation	2018-08-02 15:24:19 +02:00