• mathieui's avatar
    Handle the roster order cache as a real cache · a1ef835a
    mathieui authored
    When an external (or internal) event may cause the order of the
    cache to be modified, or new elements to be added, schedule it
    for a rebuild. Otherwise, don’t, and only rebuild it when
    refreshing (that should improve refresh speed a lot).
    Also, if the position in the roster is further than the total size
    of the roster, go back to the top instead of displaying an empty
    window with “+++”.
windows.py 83.3 KB