Repository navigation

Fix #156: Don't scroll upon region change - #165

Merged

openjck merged 1 commit into

mozilla:masterfrom

openjck:issue-156-page-moves

Jun 4, 2018

Merged

Fix #156: Don't scroll upon region change#165
openjck merged 1 commit into
mozilla:masterfrom
openjck:issue-156-page-moves

Commits on Jun 1, 2018
- Fix #156: Don't scroll upon region change
  openjck
  committed
  4d85898