Tudor Brindus
Tudor Brindus
I'm filing this for posterity as it's technically a bug, but it's pretty low-impact. This occurs with B5, but I suspect it's been around forever. Guest desktop running at 2560x1440....
I have a 4K (3840 x 2160) display, and am running screencloud on Windows 10. It mainly works, but the text that provides a help message uses a much larger...
While testing https://github.com/swaywm/sway/issues/7209, I found that if you have a floating split (e.g. `V[app app']`), then the following actions work: * resizing `app` and `app'` by the clicking and dragging...
This ticket tracks remaining issues in our migration to Martor from #1159 that were not worth holding up the PR over. Outstanding issues: * [x] user tags are not highlighted...
 We should just overflow with a scrollbar in this case.
The lack of rounding doesn't match all other places on the site. We should also consider coloring the usernames as per rating.
Currently, we invalidate whenever any field on the problem model changes. PDF generation is expensive, so we should be less aggressive and only invalidate when the changes made would affect...
``` /code/site/judge/utils/diggpaginator.py:194: UnorderedObjectListWarning: Pagination may yield inconsistent results with an unordered object_list: TranslatedProblemQuerySet. super(DiggPaginator, self).__init__(*args, **kwargs) ```
``` /code/dmoj-virtenv/src/dmoj-wpadmin/wpadmin/templatetags/wpadmin_tags.py:40: RemovedInDjango40Warning: django.utils.translation.ugettext_lazy() is deprecated in favor of django.utils.translation.gettext_lazy(). .get('title', context.get('site_title', _('Django site admin'))) /code/dmoj-virtenv/src/dmoj-wpadmin/wpadmin/menu/menus.py:73: RemovedInDjango40Warning: django.utils.translation.ugettext_lazy() is deprecated in favor of django.utils.translation.gettext_lazy(). title=_('Dashboard'), /code/dmoj-virtenv/src/dmoj-wpadmin/wpadmin/menu/menus.py:76: RemovedInDjango40Warning: django.utils.translation.ugettext_lazy() is deprecated...