| Index: third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| diff --git a/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h b/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| index 98941e6893a782216f708d309dd7cd2a2aa33387..dc49de4c7e59c7f907c2c59e025008c31e3bd8a1 100644
|
| --- a/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| +++ b/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| @@ -49,7 +49,7 @@ public:
|
| String filenameExtension() const override { return "gif"; }
|
| void onSetData(SegmentReader* data) override;
|
| int repetitionCount() const override;
|
| - bool frameIsCompleteAtIndex(size_t) const override;
|
| + bool frameIsFullyReceivedAtIndex(size_t) const override;
|
| float frameDurationAtIndex(size_t) const override;
|
| size_t clearCacheExceptFrame(size_t) override;
|
| // CAUTION: setFailed() deletes |m_reader|. Be careful to avoid
|
| @@ -67,7 +67,7 @@ public:
|
| private:
|
| // ImageDecoder:
|
| void clearFrameBuffer(size_t frameIndex) override;
|
| - virtual void decodeSize() { parse(GIFSizeQuery); }
|
| + void decodeSize() override { parse(GIFSizeQuery); }
|
| size_t decodeFrameCount() override;
|
| void initializeNewFrame(size_t) override;
|
| void decode(size_t) override;
|
|
|