Fix #717 by only updating the name widget when necessary
[pulseview.git] / pv / toolbars /
drwxr-xr-x   ..
-rw-r--r-- 16402 mainbar.cpp
-rw-r--r-- 2922 mainbar.hpp