Manuel Genovés
|
bcd08397f1
|
remove unneeded preferences
|
2020-02-26 12:50:31 +01:00 |
Manuel Genovés
|
81d5aab9e4
|
move the sync prev toggle to the preview popover
|
2020-02-16 22:00:04 +01:00 |
Manuel Genovés
|
48e48d95de
|
add autohide-headerbar toggle on settings
|
2019-12-09 02:14:52 +01:00 |
Gonçalo Silva
|
939edcc762
|
Allow disabling scroll sync
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
53d3fc6026
|
Use symbolic icon for input format documentation
|
2019-04-17 02:52:56 +01:00 |
Gonçalo Silva
|
9f41bfac8d
|
Add input format setting
Supports Pandoc's Markdown, Commonmark, GitHub Flavored Markdown,
MultiMarkdown and Plain Markdown.
Fixes #17
Fixes #122
|
2019-04-15 02:50:28 +01:00 |
Gonçalo Silva
|
30df10cab6
|
Allow following system theme *and* forcing light / dark theme
|
2019-04-11 03:42:15 +01:00 |
Gonçalo Silva
|
7a9b878d02
|
Copy improvements
Smaller improvements around capitalization, tense and style.
|
2019-04-11 03:42:15 +01:00 |
somas95
|
8372eee85c
|
Merge branch 'master' into refactoring
|
2019-03-09 20:43:48 +01:00 |
Manuel Genovés
|
a1a50d4890
|
Remember autospellchek status
|
2019-01-27 16:42:36 +01:00 |
Manuel Genovés
|
a2661be802
|
reorder things
|
2018-12-14 20:06:38 +01:00 |
Manuel Genovés
|
56e718be15
|
allow disabling overlay within preferences window
|
2018-12-14 20:01:00 +01:00 |
somas95
|
52def543fe
|
Cleanup of preferencesdialog class
|
2018-07-01 03:20:56 +02:00 |
somas95
|
2ce88698d3
|
Add preferences dialog
|
2018-07-01 03:14:11 +02:00 |