improve hover behaviour in editor