Issue #54: Finishing of bookmarking

This commit is contained in:
Jakub Melka
2023-12-17 18:11:49 +01:00
parent 7a5f37e38f
commit e9ca3a4a82
18 changed files with 808 additions and 56 deletions

View File

@@ -91,6 +91,9 @@ public:
bool m_signatureTreatWarningsAsErrors;
bool m_signatureIgnoreCertificateValidityTime;
bool m_signatureUseSystemStore;
// Bookmarks settings
bool m_autoGenerateBookmarks;
};
const Settings& getSettings() const { return m_settings; }