Highlight jump line on hover over jump target label.

This commit is contained in:
Bartosz Taudul 2022-08-17 00:30:07 +02:00
parent 1601ddeab5
commit ef35c01e14
No known key found for this signature in database
GPG Key ID: B7FE2008B7575DF3

View File

@ -2471,7 +2471,7 @@ uint64_t SourceView::RenderSymbolAsmView( const AddrStatData& as, Worker& worker
const auto y0 = ( it0 == insList.end() || *it0 != v.second.min ) ? -th : ( it0 - insList.begin() ) * th;
const auto y1 = it1 == insList.end() ? ( insList.size() + 1 ) * th : ( it1 - insList.begin() ) * th;
float thickness = 1;
float thickness = m_highlightAddr == v.first ? 2 : 1;
if( ImGui::IsWindowHovered() && ImGui::IsMouseHoveringRect( wpos + ImVec2( xoff + JumpSeparation * ( mjl - v.second.level ) - JumpSeparation / 2, y0 + th2 ), wpos + ImVec2( xoff + JumpSeparation * ( mjl - v.second.level ) + JumpSeparation / 2, y1 + th2 ) ) )
{
thickness = 2;