Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 12 Mar 2023 00:55:19 +0100] rev 3747
IDE: fix exception when re-opening previously closed tab
Same as commit with same message, this time for tabs that are not POUs editors.
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 12 Mar 2023 00:51:53 +0100] rev 3746
IDE: fix again ruberband with gtk3.
DC logical functions are now disabled when using GTK3.
Apparently using XOR was still having an effect.
Use regular black pen with no logical funciton instead.
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 10 Mar 2023 13:00:31 +0100] rev 3745
Merged from default