This would enforce the initial values of them to be set when the button is created.
May be we need to make it construct_only. But for now, let it be as is.
This would enforce the initial values of them to be set when the button is created.
May be we need to make it construct_only. But for now, let it be as is.