roundabout,
created on Tuesday, 25 June 2024, 09:44:06 (1719308646),
received on Wednesday, 31 July 2024, 06:54:50 (1722408890)
Author identity: vlad <vlad.muntoiu@gmail.com>
4e9ee197fbadc8200f2d6c1e3cd394c99db78e75
app.py
@@ -317,11 +317,36 @@ def notifications():
if not flask.session.get("username"):
flask.abort(401)
if flask.request.method == "GET":
page_number = flask.request.args.get("page", 1, type=int)
if flask.session.get("username"):
default_page_length = db.session.get(User, flask.session.get(
"username")).default_page_length
else:
default_page_length = 16
page_length = flask.request.args.get("per_page", default_page_length, type=int)
results = UserNotification.query.filter_by(
user_username=flask.session.get("username")).order_by(UserNotification.id.desc()).paginate(
page=page_number, per_page=page_length)
if results.has_next:
next_page = results.next_num
else:
next_page = None
if results.has_prev:
prev_page = results.prev_num
else:
prev_page = None
return flask.render_template("notifications.html",
notifications=UserNotification.query.filter_by(
user_username=flask.session.get("username")
).order_by(UserNotification.id.desc()),
db=db, Commit=Commit, Post=Post, PullRequest=PullRequest
notifications=results,
db=db, Commit=Commit, Post=Post, PullRequest=PullRequest,
page_number=page_number,
page_length=page_length,
next_page=next_page,
prev_page=prev_page,
num_pages=results.pages
)
templates/notifications.html
@@ -58,6 +58,7 @@
{% else %}
<p>{% trans %}When you get notifications, they'll be shown here.{% endtrans %}</p>
{% endif %}
{% include "pagination.html" %}
</x-vbox>
</x-frame>
</x-vbox>