Great! Having seen that PR it did make me think that it probably would be preferable to not clear the background of the widget bar at all - since I think nearly every widget already clears the background itself anyway.
... but as you saw I think changing it and then testing it didn't break stuff could be quite a big undertaking :)
it probably would be preferable to not clear the background of the widget bar at all - since I think nearly every widget already clears the background itself anyway.
Things would go Wrong when widgets are hidden/removed/resized though.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Great! Having seen that PR it did make me think that it probably would be preferable to not clear the background of the widget bar at all - since I think nearly every widget already clears the background itself anyway.
... but as you saw I think changing it and then testing it didn't break stuff could be quite a big undertaking :)