A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-072 Or have a look at the homepage!
Sucessfully vs. Successfully:
src/gui/preferencesWindow.vala:401: var message = _("Sucessfully imported new theme!");
occured vs. occurred:
src/gui/preferencesWindow.vala:415: message = ("An error occured while importing the theme: Failed to extract theme!");
src/gui/preferencesWindow.vala:419: message = ("An error occured while importing the theme: A theme with this name does already exist!");
src/gui/preferencesWindow.vala:423: message = ("An error occured while importing the theme: Theme archive does not contain a valid theme!");
src/gui/preferencesWindow.vala:427: message = ("An error occured while importing the theme: Failed to open theme archive!");
src/themes/theme.vala:176: var message = _("An error occured while exporting the theme \"%s\"! Please check the console output.").printf(this.name);
Hi,
there are some typos:
Sucessfully vs. Successfully: src/gui/preferencesWindow.vala:401: var message = _("Sucessfully imported new theme!");
occured vs. occurred: src/gui/preferencesWindow.vala:415: message = ("An error occured while importing the theme: Failed to extract theme!"); src/gui/preferencesWindow.vala:419: message = ("An error occured while importing the theme: A theme with this name does already exist!"); src/gui/preferencesWindow.vala:423: message = ("An error occured while importing the theme: Theme archive does not contain a valid theme!"); src/gui/preferencesWindow.vala:427: message = ("An error occured while importing the theme: Failed to open theme archive!"); src/themes/theme.vala:176: var message = _("An error occured while exporting the theme \"%s\"! Please check the console output.").printf(this.name);
CU Jörg