change brush size

app.py

@@ -73,7 +73,7 @@ with gr.Blocks(css=css, elem_id="demo-container") as demo:
     with gr.Row():
                 with gr.Column():
                     #mode must be RGBA
-                    image = gr.ImageEditor(height=800,sources=['upload','clipboard'],transforms=[],image_mode='RGBA', layers=False,  elem_id="Foreground", type="pil", label="Foreground",brush=gr.Brush(colors=["#888"], color_mode="fixed"))
+                    image = gr.ImageEditor(height=800,sources=['upload','clipboard'],transforms=[],image_mode='RGBA', layers=False,  elem_id="Foreground", type="pil", label="Foreground",brush=gr.Brush(colors=["#808080"],default_size=50, color_mode="fixed"))
                     pick=gr.ColorPicker(label="color",value="#888",info="ImageEditor color is broken,pick color from here.reselect paint-tool and draw.")
                     pick.change(fn=color_changed,inputs=[pick],outputs=[image])