• Marawan Tanager's avatar
    Don't hide the inputbar in case of incremental search · c5e593d3
    Marawan Tanager authored and Sebastian Ramacher's avatar Sebastian Ramacher committed
    Hiding the inputbar immediately before jumping breaks incremental search, as
    Guillaume Duranceau stated in an earlier mail.
    This patch makes an exception for the case of incremental search, at the cost
    of a slight displacement when jumping back (^o) after ending the incremental
    search (pressing the ESC key). The rest of the jump cases are unaffected.
    This should makes things usable for now, until we move to GTK3 (link to it by
    default) which has a new widget that suits this problem nicely (GtkOverlay), as
    demonstrated by an earlier patch by Abdo Roig-Maranges which is now included on
    the develop branch in girara repo as commit
    70fd1cf354ee1300d4a9bdab9e939d5cc975979e, but is compiled only with GTK3.
    Signed-off-by: default avatarSebastian Ramacher <sebastian+dev@ramacher.at>