Improve drag and drop features and right click commands (#8854)

This commit is contained in:
Magne Sjaastad
2022-04-29 12:28:09 +02:00
committed by GitHub
parent 172f891be9
commit f54399960d
17 changed files with 700 additions and 55 deletions

View File

@@ -45,7 +45,8 @@ public:
GROUP_FOLDER,
REGION_FOLDER,
BLOCK,
BLOCK_FOLDER
BLOCK_FOLDER,
SUMMARY_CASE
};
public: