Skip to content
  • Jonas Ådahl's avatar
    menu: Adapt scroll offset if arrow is shown · c35878ec
    Jonas Ådahl authored
    When a popup is placed using move_to_rect(), it'll get feedback about
    the position and size it got assigned. We use this feedback to update
    the scroll offset, but while doing so, if the visibility of the arrow
    changed, we didn't adapt the offset accordingly.
    
    Fix this by offsetting the provided offset by the height of the arrow,
    if it was made visible as a side effect of the scroll offset change
    triggered by the feedback.
    
    Related: mutter#105
    Closes: #1463
    c35878ec