Ungroup terminal is now managed by undo stack

This commit is contained in:
joshua
2021-10-09 14:45:54 +02:00
parent c6e3e385ff
commit 7c6fca2aac
5 changed files with 79 additions and 12 deletions

View File

@@ -478,15 +478,6 @@ bool TerminalStrip::removeTerminal(Element *terminal)
return false;
}
/**
* @brief TerminalStrip::haveTerminal
* @param terminal
* @return true if \p terminal belong to this strip
*/
bool TerminalStrip::haveTerminal(Element *terminal) {
return m_terminal_elements_vector.contains(terminal);
}
/**
* @brief TerminalStrip::physicalTerminalCount
* @return the number of physical terminal.