src/UpdateInset.h

   1 // -*- C++ -*-
   2
   3 #ifndef UPDATE_INSET_H
   4 #define UPDATE_INSET_H
   5
   6 #ifdef __GNUG__
   7 #pragma interface
   8 #endif
   9
  10 #include <queue>
  11
  12 class Inset;
  13 class BufferView;
  14
  15 ///
  16 class UpdateInset {
  17 public:
  18         ///
  19         void push(Inset * inset);
  20
  21         ///
  22         void update(BufferView *);
  23 private:
  24         ///
  25         typedef std::queue<Inset*> InsetQueue;
  26         ///
  27         InsetQueue insetqueue;
  28 };
  29
  30 #endif // UPDATE_INSET_H