Code

ui: improve menu folding#989

Code

Merged

Dylan-DPC-zz merged 5 commits intorust-lang:masterrust-lang/mdBook:masterfrom WofWca:menu-foldingWofWca/mdBook:menu-foldingCopy head branch name to clipboardMar 6, 2020

+107-67

Commits

Commits on Jul 20, 2019

• ui: improve menu folding

  Show description for fe815a0
  WofWca

  committed
  fe815a0

  Copy full SHA for fe815a0

• refactor: use a variable for the menu bar height

  WofWca

  committed
  c9f5426

  Copy full SHA for c9f5426

Commits on Jul 28, 2019

• Fix menu scroll jittering, remove hover folding smoothness

  Show description for c25fab7
  WofWca

  committed
  c25fab7

  Copy full SHA for c25fab7

Commits on Aug 8, 2019

• Resolve conflicts with 'master', merge it

  WofWca

  committed
  a1ff26c

  Copy full SHA for a1ff26c

Commits on Feb 29, 2020

• Merge branch 'master' into menu-folding

  WofWca

  committed
  172c42d

  Copy full SHA for 172c42d