[webkit-reviews] review granted: [Bug 120292] [GTK] Improve the stop/reload button implementation in MiniBrowser : [Attachment 209627] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 120292: [GTK] Improve the stop/reload button implementation in MiniBrowser
https://bugs.webkit.org/show_bug.cgi?id=120292

Attachment 209627: Patch
https://bugs.webkit.org/attachment.cgi?id=209627&action=review

------- Additional Comments from Philippe Normand <pnormand at igalia.com>
Yep please fix this small nit spotted by Sergio :)