2024-07-18 18:01:05 +01:00
parent 58a2159fa9
commit 9fcbd4e6d0
12 changed files with 104 additions and 109 deletions
@@ -1244,7 +1244,8 @@ bool TOOL_MANAGER::IsToolActive( TOOL_ID aId ) const
{
    auto it = m_toolIdIndex.find( aId );
    wxCHECK( it != m_toolIdIndex.end(), false );
    if( it == m_toolIdIndex.end() )
        return false;
    return !it->second->idle;
}