Sat, 11 Mar 2023 11:53:44 +0100
Fixed an issue caused by a widget contained in the side bars/tool boxes got removed while debugging was active.
9874
b89dce027259
Fixed an issue caused by a widget contained in the side bars/tool boxes got removed while debugging was active.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
9871
diff
changeset
|
1 | (binary:application/octet-stream) |