| 1700 | } |
| 1701 | |
| 1702 | std::shared_ptr<ThreadPool> UICodeEditorSplitter::getThreadPool() const { |
| 1703 | return mThreadPool; |
| 1704 | } |
| 1705 | |
| 1706 | void UICodeEditorSplitter::setThreadPool( const std::shared_ptr<ThreadPool>& threadPool ) { |
| 1707 | mThreadPool = threadPool; |