diff --git a/src/ui.cpp b/src/ui.cpp index 5bc5228..bc15982 100644 --- a/src/ui.cpp +++ b/src/ui.cpp @@ -6938,8 +6938,7 @@ GtkWidget* build_trigger_panel(App& app) { const char* types[] = {"edge", "pulse width", "window", "dropout", nullptr}; app.trigger_type_drop = gtk_drop_down_new_from_strings(types); gtk_widget_set_tooltip_text(app.trigger_type_drop, - "what counts as an event: a level crossing, or a pulse whose " - "width satisfies the comparison below"); + "what counts as an event: the dropdown lists all four shapes"); gtk_box_append(GTK_BOX(box), labeled_box("condition", app.trigger_type_drop)); const char* edges[] = {"rising", "falling", "both", nullptr};