Code

[tips] prioritized bubble opening#625

Code

Open

clembu wants to merge 3 commits intoocsigen:masterocsigen/ocsigen-start:masterfrom clembu:feat/os-tip-priorityclembu/ocsigen-start:feat/os-tip-priorityCopy head branch name to clipboard

+108-9

Commits

Commits on May 3, 2021

• [tips] prioritized bubble opening

  Show description for 274e617
  clembu

  committed
  274e617

• [tips][docs] mention negative priority values

  clembu

  committed
  aaa9235

Commits on May 4, 2021

• [tips] move priority sort to last moment

  clembu

  committed
  c958a50