From 506fefc1f0d69b576137c8bcb2afb366b86b0109 Mon Sep 17 00:00:00 2001
From: Mattia Succurro <matty2000.succ@gmail.com>
Date: Fri, 16 Dec 2022 20:24:49 +0100
Subject: [PATCH] small fixes

---
 CHANGELOG.md     | 2 ++
 app.py           | 2 +-
 static/style.css | 1 +
 3 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 60e4372..3f6b301 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,7 +8,9 @@
   + Added `User` table.
 + Added `Flask-Login` and `Flask-WTF` dependencies in order to implement user logins.
 + Added `python-i18n` as a dependency.  Therefore, i18n changed format, using JSON files now.
++ Now you can export pages in a JSON format. Coming soon: importing.
 + Like it or not, now gzip library is required.
++ Added CSS variables in the site style.
 
 ## 0.6
 
diff --git a/app.py b/app.py
index 917aafc..1f064a1 100644
--- a/app.py
+++ b/app.py
@@ -908,7 +908,7 @@ def exportpages():
         while q_list:
             query |= q_list.pop(0)
         e = Exporter()
-        e.add_page_list(query)
+        e.add_page_list(query, include_history='history' in request.form)
         return e.export(), {'Content-Type': 'application/json', 'Content-Disposition': 'attachment; ' + 
             'filename=export-{}.json'.format(datetime.datetime.now().strftime('%Y%m%d-%H%M%S'))}
     return render_template('exportpages.html')
diff --git a/static/style.css b/static/style.css
index facea15..ba6f187 100644
--- a/static/style.css
+++ b/static/style.css
@@ -71,6 +71,7 @@ input[type="submit"],input[type="reset"],input[type="button"],button{font-family
 .search-wrapper {display:flex;width:90%;margin:auto}
 .search-wrapper > input {flex:1}
 .preview-subtitle {text-align: center; margin-top: -1em}
+textarea {background-color: var(--bg-sharp); color: var(--fg-sharp)}
 
 /* Circles extension */
 .circles-red{color: #e14}