/** update the widgets (symbol browser, category combo)
* \p combo indicates if the combo box has to be refreshed
* as well (which is rather expensive)
**/
void updateSymbolList(bool update_combo = true);
/** update the widgets (symbol browser, category combo)
* \p combo indicates if the combo box has to be refreshed
* as well (which is rather expensive)
**/
void updateSymbolList(bool update_combo = true);