| 92 | } |
| 93 | |
| 94 | LayoutHandle::~LayoutHandle () |
| 95 | { |
| 96 | if (tl::verbosity () >= 30) { |
| 97 | tl::info << "Deleted layout " << name (); |
| 98 | } |
| 99 | |
| 100 | delete mp_layout; |
| 101 | mp_layout = 0; |
| 102 | |
| 103 | if (find (m_name) == this) { |
| 104 | ms_dict.erase (m_name); |
| 105 | } |
| 106 | |
| 107 | remove_file_from_watcher (filename ()); |
| 108 | } |
| 109 | |
| 110 | void |
| 111 | LayoutHandle::remove_file_from_watcher (const std::string &path) |