codebrainz commented on this pull request.
@@ -1547,25 +1542,17 @@ static void set_stop_button(gboolean stop)
GtkToolButton *run_button;
run_button = GTK_TOOL_BUTTON(toolbar_get_widget_by_name("Run")); - if (run_button != NULL) - button_stock_id = gtk_tool_button_get_stock_id(run_button); + if (!run_button) return;
Minor nit, but should have space after `!` and line break before `return`.