Commit ac4c5867 authored by Robert Knight's avatar Robert Knight

Adjust the top-most position of entries in the bucket bar

Adjust the top-most position of entries in the bucket bar
to accomodate the height changes in the toolbar as part
of a recent design update.

Fixes #2646
parent b69809a4
...@@ -9,7 +9,7 @@ highlighter = require('../highlighter') ...@@ -9,7 +9,7 @@ highlighter = require('../highlighter')
BUCKET_SIZE = 16 # Regular bucket size BUCKET_SIZE = 16 # Regular bucket size
BUCKET_NAV_SIZE = BUCKET_SIZE + 6 # Bucket plus arrow (up/down) BUCKET_NAV_SIZE = BUCKET_SIZE + 6 # Bucket plus arrow (up/down)
BUCKET_TOP_THRESHOLD = 100 + BUCKET_NAV_SIZE # Toolbar BUCKET_TOP_THRESHOLD = 115 + BUCKET_NAV_SIZE # Toolbar
# Scroll to the next closest anchor off screen in the given direction. # Scroll to the next closest anchor off screen in the given direction.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment