* Switch to androidx for settings
* Implement all settings
* Added all pages to settings
* Add toolbar to settings
* Left align all preferences
* Migrate to androidx preference manager
* Migrate settings functions
* Implement dark theme in settings page
* Remove old settings files
* Remove unused resources
Co-authored-by: Amine Bou <510304+aminecmi@users.noreply.github.com>
* Add filter for hidden tags. (#207)
This commit adds the option to configure hidden tags. Articles tagged
with these hidden tags won't appear in the list of articles by default.
To see these articles the user must explicitly filter by those tags.
* Closes#211. Handling hidden tags in the lateral panel.
* Changelog.