-
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:
Sebastian Ramacher <sebastian+dev@ramacher.at>
c5e593d3