changeset 201 | 879e47e5b731 |
parent 194 | 6b2b718420eb |
31:edf3347506fb | 32:734f8e2e83e0 |
---|---|
258 |
258 |
259 virtual void nodeViewChanged(); |
259 virtual void nodeViewChanged(); |
260 |
260 |
261 virtual void reDesignGraph(); |
261 virtual void reDesignGraph(); |
262 |
262 |
263 /// Pops up a SaveDetailsDialog. |
|
264 void createSaveDetailsDialog(); |
|
265 |
|
263 virtual void exportToEPS(); |
266 virtual void exportToEPS(); |
264 |
267 |
265 void createBackgroundChooser(); |
268 void createBackgroundChooser(); |
266 }; |
269 }; |
267 |
270 |