Mir gefällt’s. Beide Buttons gleichzeitig wird man kaum brauchen. Der Fall, dass man refreshen will, bevor die Ressource fertig geladen ist, sollte selten eintreten. Und wenn, dann muss man halt zweimal klicken.
Und was, wenn man abbrechen will aber die Seite in dem Moment fertiggeladen ist? Dann drückt man refresh. Und was, wenn die Seite beim laden "hängt" und man refresh drücken will um den Ladevorgang neu zu starten? Dann wartet man lange bis man das zweite mal klicken kann.