+private:
+ TexEnvMode mode;
+ Color color;
+
+public:
+ TexEnv();
+ void set_mode(TexEnvMode);
+ void set_color(const Color &);
+ TexEnvMode get_mode() const { return mode; }
+ const Color &get_color() const { return color; }
+ void bind() const;
+
+ static const TexEnv *current();
+ static void unbind();