# HG changeset patch # User Thomas Waldmann # Date 1314306716 -7200 # Node ID e5b51d4304c841ce5880edad71b965ec63230941 # Parent a4ec2c6f0bb7e0eaad5c611ed11495182028535f global history: render the bookmark in same way as the day headers diff -r a4ec2c6f0bb7 -r e5b51d4304c8 MoinMoin/templates/global_history.html --- a/MoinMoin/templates/global_history.html Thu Aug 25 23:09:06 2011 +0200 +++ b/MoinMoin/templates/global_history.html Thu Aug 25 23:11:56 2011 +0200 @@ -17,16 +17,6 @@

{{ _("Global History") }}

- {% if user.valid %} -
- {% if bookmark_time %} - {{ _("Bookmark (currently set to %(bookmark)s). ", bookmark=bookmark_time|datetimeformat) }} - {{ _("Delete bookmark") }} - {% else %} - {{ _("Bookmark (not set). ") }}{{ _("Set bookmark") }} - {% endif %} -
- {% endif %}
{% for rev_date, revs in history %} {% set latest_rev = revs[0] %} @@ -78,8 +68,15 @@
{% endfor %} + {% if user.valid and bookmark_time %} +
+
+ +

{{ bookmark_time|datetimeformat }}

+ {{ _("Delete bookmark") }} +
+
+
+ {% endif %} - {% if bookmark_time and not offset %} -
{{ _("Bookmark reached") }}
- {% endif %} {% endblock %}