diff options
| author | Markus Goetz <markus@woboq.com> | 2018-11-07 20:00:55 +0300 |
|---|---|---|
| committer | Markus Goetz <markus@woboq.com> | 2018-11-07 20:00:55 +0300 |
| commit | dc039e7e11f85e22094e33a6176e64d2b8f8121a (patch) | |
| tree | 85e27b9de0a192bb5c1db89860eed81610af5931 /src/gui/application.h | |
| parent | 5c98193c63e5cdd892557ef0c74344bf314032bb (diff) | |
Crash Reporter: Add more debug menu entries #6823
Diffstat (limited to 'src/gui/application.h')
| -rw-r--r-- | src/gui/application.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/application.h b/src/gui/application.h index 2aa69e577..c29ca8b41 100644 --- a/src/gui/application.h +++ b/src/gui/application.h @@ -72,6 +72,8 @@ public slots: // TODO: this should not be public void slotownCloudWizardDone(int); void slotCrash(); + void slotCrashEnforce(); + void slotCrashFatal(); /** * Will download a virtual file, and open the result. * The argument is the filename of the virtual file (including the extension) |