sprotty icon indicating copy to clipboard operation
sprotty copied to clipboard
verified publisher icon eclipse-sprotty

Refactor sprotty tools to `ToolManager API`?

Open tortmayr opened this issue 4 years ago • 0 comments

In #33 we introduced a Tool (manager) API to support enabling and disabling tools (i.e. mouse listeners) at runtime. This API is heavily used in GLSP but currently not used in sprotty at all. We should discuss how to go forward with this. Is the Tool API still generally interesting for sprotty? If so, should we start to migrate the existing tools (e..g 'MoveMouseListener')? If not, maybe we should move this API from sprotty directly to GLSP.

Requires an analysis of feasibility and consequences of a refactoring.

tortmayr avatar Aug 12 '21 10:08 tortmayr