Tudor Brindus

Results 96 issues of 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...

Stale

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...

bug
input/pointer

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...

bug
enhancement
ui

![Screenshot_20230218-151508](https://user-images.githubusercontent.com/1403503/219892372-8cdda420-5de5-4592-ab5c-6a53bad3619c.png) We should just overflow with a scrollbar in this case.

bug
ui
mobile
easy

Could do with some margin and highlighting of the title.

enhancement
ui

The lack of rounding doesn't match all other places on the site. We should also consider coloring the usernames as per rating.

enhancement
ui
easy

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...

optimization
easy
performance

``` /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) ```

cleanup

``` /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...

i18n
easy
cleanup