Having two seperators around a line has unequal vertical spacing

[Folling]

Version: 1.71
Branch: docking

Back-end/Renderer/Compiler/OS

Back-ends: imgui_impl_glfw3.cpp
Compiler: clang
Operating System: arch-linux 64bit

My Issue/Question:
Having a Separator around a widget has one pixel more to the bottom than to the top. This might be unwanted behaviour as it creates an asymmetry.

Code to reproduce:

ImGui::Begin("Window");
ImGui::Separator();
ImGui::Button("Button");
ImGui::Separator();
ImGui::End();

Is rendered as:

I was able to resolve this by changing thickness_layout = 0.0f to thickness_layout = 1.0f in imgui_widgets' SeparatorEx, which is rendered as:

Sorry for posting this in another issue earlier!

[ocornut]

Reference
c5d83d8
9534ef9

[ocornut]

This is fixed again by ef022c5.