The Delete button in each parameter row shows its outline on hover, like the fields beside it; the redundant tooltip is gone. Fixes #1178.
This commit is contained in:
1 parent
9dc12b4d0f
commit
c008addae2
1 file changed
+2
-5
@@ -327,11 +327,8 @@ fn table(app: &mut SolveApp, ui: &mut egui::Ui, d: &mut ParamsDialog, rows: &[&R
|
||||
}
|
||||
// Delete (user parameters; refused while used, the message says by what).
|
||||
if r.source == "user" {
|
||||
if ui
|
||||
.add(egui::Button::new(RichText::new("Delete").small().color(t.text_dim)).frame(false))
|
||||
.on_hover_text(crate::i18n::tr_label("Delete this parameter"))
|
||||
.clicked()
|
||||
{
|
||||
// Outlined on hover like the expression and comment fields; the label says what it does.
|
||||
if ui.add(egui::Button::new(RichText::new("Delete").small().color(t.text_dim)).frame_when_inactive(false)).clicked() {
|
||||
d.error = app.run("parameters.delete", json!({"name": r.name})).err();
|
||||
}
|
||||
} else {
|
||||
|
||||
Reference in new issue
Block a user