Manuel Genovés
|
8358571c8e
|
remove all references to preview.ui
|
2020-02-27 16:56:05 +01:00 |
Manuel Genovés
|
48f32afa1b
|
remove bottom preview bar
|
2020-02-27 13:05:47 +01:00 |
Manuel Genovés
|
3af59e2c1d
|
initial port to gresources
|
2019-11-04 23:05:03 +01:00 |
Gonçalo Silva
|
3fa56afaef
|
Reduce sync scrolling precision
High precision leads to micro-scrolling, and 1e-4 is more than enough.
|
2019-07-25 00:16:26 +01:00 |
Gonçalo Silva
|
df79f9329e
|
Rename WebView to PreviewWebView
|
2019-07-25 00:16:26 +01:00 |
Gonçalo Silva
|
939edcc762
|
Allow disabling scroll sync
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
86cffc40ec
|
Improve full-width preview workflow
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
dc0652e3ed
|
Improve documentation for the new preview
|
2019-05-04 16:33:09 +01:00 |
Gonçalo Silva
|
65e7028843
|
Add toggle between various preview modes
Including:
* Full-width (original)
* Half-width
* Half-height
* Windowed
|
2019-05-04 16:33:09 +01:00 |