}
-int ControlDocument::id() const
+BufferId ControlDocument::id() const
{
- return (int) &kernel().buffer();
+ return &kernel().buffer();
}
namespace frontend {
+///
+typedef void const * BufferId;
+
/** A controller for Document dialogs.
*/
class ControlDocument : public Dialog::Controller {
///
BufferParams & params() const;
///
- int id() const;
+ BufferId id() const;
///
void setLanguage() const;
///
}
-void PreambleModule::update(BufferParams const & params, int id)
+void PreambleModule::update(BufferParams const & params, BufferId id)
{
QString preamble = toqstr(params.preamble);
// Nothing to do if the params and preamble are unchanged.
};
+typedef void const * BufferId;
+
+
class PreambleModule : public UiWidget<Ui::PreambleUi>
{
Q_OBJECT
public:
PreambleModule();
- void update(BufferParams const & params, int id);
+ void update(BufferParams const & params, BufferId id);
void apply(BufferParams & params);
Q_SIGNALS:
void on_preambleTE_textChanged() { changed(); }
private:
- typedef std::map<int, std::pair<int,int> > Coords;
+ typedef std::map<BufferId, std::pair<int,int> > Coords;
Coords preamble_coords_;
- int current_id_;
+ BufferId current_id_;
};