[galaxy-dev] how to delete datasets or save space on local galaxy

Dear there, May I ask a question which might be really simple? How to delete a dataset from a history in local Galaxy? When I clicked on delete (x), the size on disk is still the same as before deleting it. [cid:d28891d2-9d20-4688-8e3e-3bf75caa662e] Thank you so much! Best, Xiaofei