• mathieui's avatar
    Improve /bookmark * · 38061a63
    mathieui authored
    - /bookmark{_local,} * now keeps the order of the tabs, and puts the
      currently non-opened tabs at the end of the list.
    - also fix a bug in remote bookmark saving
    38061a63
core.py 153 KB