Diego Prado Gesto 51c499b08c When the extruder is being disabled and it is the currently selected
one, then switch to the default extruder. Also do not allow users to
click in a disabled extruder, only if they want to enable it again.
2018-07-16 16:26:55 +02:00
..
2017-09-28 13:00:43 +02:00
2017-09-28 13:00:43 +02:00
2018-07-11 11:14:57 +02:00
2018-07-11 11:14:57 +02:00
2018-07-03 12:06:06 +02:00
2018-07-03 12:06:06 +02:00