| 114 | } |
| 115 | |
| 116 | mitk::EventRecorder::~EventRecorder() |
| 117 | { |
| 118 | if (m_FileStream.is_open()) |
| 119 | { |
| 120 | m_FileStream.flush(); |
| 121 | m_FileStream.close(); |
| 122 | } |
| 123 | } |
| 124 | |
| 125 | void mitk::EventRecorder::Notify(mitk::InteractionEvent *interactionEvent, bool /*isHandled*/) |
| 126 | { |