7 Commits

Author	SHA1	Message	Date
Mikolaj Wielgus	9159312ea5	egui: add button and key to abort execution ... It actually finishes execution, as I haven't implemented actual aborting yet.	2024-10-02 02:32:06 +02:00
Alain Emilia Anna Zscheile	161fa002c1	chore(egui): fix rust warnings	2024-10-01 20:50:38 +00:00
Mikolaj Wielgus	e08a59cd74	stepper: add `Abort` trait to abort steppers	2024-10-01 19:07:40 +02:00
Mikolaj Wielgus	5448474857	terminology: distinguish between "command" and its "execution"	2024-10-01 16:01:11 +02:00
Mikolaj Wielgus	cc0bf1845a	terminology: suffix some single-verb object type names with "Stepper"	2024-10-01 14:27:57 +02:00
Mikolaj Wielgus	169e843736	egui: further make an `Activity` enum with error and status types	2024-09-30 03:40:53 +02:00
Mikolaj Wielgus	c8a40860af	egui: s/ExecuteWithStatus/ActivityWithStatus, move it to own file	2024-09-30 01:36:22 +02:00