Adjust jump arrow separation to DPI scale.

This commit is contained in:
Bartosz Taudul 2021-12-29 13:44:58 +01:00
parent ae9b9318e8
commit 0d5fbff07f
No known key found for this signature in database
GPG Key ID: B7FE2008B7575DF3

View File

@ -166,7 +166,7 @@ static void PrintHwSampleTooltip( size_t cycles, size_t retired, size_t cacheRef
}
enum { JumpSeparation = 6 };
enum { JumpSeparationBase = 6 };
enum { JumpArrowBase = 9 };
SourceView::SourceView( GetWindowCallback gwcb )
@ -2377,6 +2377,7 @@ uint64_t SourceView::RenderSymbolAsmView( const AddrStatData& as, Worker& worker
const auto maxAddr = m_asm[clipper.DisplayEnd-1].addr;
const auto mjl = m_maxJumpLevel;
const auto JumpArrow = JumpArrowBase * ts.y / 15;
const auto JumpSeparation = JumpSeparationBase * ts.y / 15;
int i = -1;
for( auto& v : m_jumpTable )
@ -3564,6 +3565,7 @@ void SourceView::RenderAsmLine( AsmLine& line, const AddrStat& ipcnt, const Addr
m_jumpOffset = xoff;
const auto JumpArrow = JumpArrowBase * ty / 15;
const auto JumpSeparation = JumpSeparationBase * ts.y / 15;
ImGui::SameLine( 0, ty + JumpArrow + m_maxJumpLevel * JumpSeparation );
auto jit = m_jumpOut.find( line.addr );
if( jit != m_jumpOut.end() )