First I would like to thank you for your fast replies to my questions.
As you know, at top right corner of Galaxy window, there are records of the history size and how many percentage of memory space has been used. I found that the number in the records only increases, but doesn't decrease after I delete files permanently.
DId I miss something? How to let the record show the real size of the histories?
Thanks in advance.