// -*- C++ -*-
+/**
+ * \file lyxlex_pimpl.h
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * \author Lars Gullik Bjønnes
+ *
+ * Full author contact details are available in file CREDITS.
+ */
#ifndef LYXLEX_PIMPL_H
#define LYXLEX_PIMPL_H
#include "lyxlex.h"
+#include "support/gzstream.h"
+
#include <boost/utility.hpp>
#include <fstream>
bool nextToken();
///
void pushToken(string const &);
- /// fb__ is only used to open files, the stream is accessed through is
+ /// fb__ is only used to open files, the stream is accessed through is.
std::filebuf fb__;
+ /// gz__ is only used to open files, the stream is accessed through is.
+ gz::gzstreambuf gz__;
+
/// the stream that we use.
std::istream is;
///