-
Michael Reisecker authored
More work on empty Number panels: starting with a key press now works as expected (more or less). Choose hiding color dependent on whether it's optional. Fix bug where clearing a Number via the context menu would not set the appropriate styling in motion. Feel free to revert to tiny font if more things clash...
ef3ffd80