<div><br></div>On 1 April 2010 00:09, David Faure wrote:<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">

<div>Short of reading the user's mind, we have no way of knowing if the user is</div></blockquote><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">

deleting a big file (or empty the trash) in order to free some disk space or<br>"just because". </blockquote><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">

<br>(BTW I do argue that the main use case for emptying the trash _is_ making more<br>disk space, given that there is no other good reason or incentive to do it,<br>but since neither of us can prove this one way or the other, I'm happy for us<br>

to give up this line of argumentation.).<br></blockquote><div><br></div><div> </div><div>Why is the user forced to manually empty the trash when more space is needed? Shouldn't the computer make that step automatically, just assuming that everything found in the trash can was put there by the user in the first place because it's no longer useful? </div>

<div><br></div><div>Is there a single good reason to have an "empty trash can" action at all? What is the user need that it covers?</div><br>