search

luetage / extension_control

Elementary extension manager. Compact design, no superfluous features.
MIT License
65 stars 10 forks source link

Scroll update with untouched margins #4

Closed sjudenim closed 6 years ago

sjudenim commented 6 years ago

This gives the effect of the right margin without using one. So when there is no scroll present, the hover spans the width of the menu.