Drag-and-drop of Formulae from a Browser
Abstract:
Formulæ in a semantic source such as OpenMath [2] can be presented
in web-browsers with the benefit of features that can help in reading and
understanding them. Important aspects include the rendering quality as
well as tooltips to indicate the semantics of presented symbols.
Within the ActiveMath learning environment we have added another
feature: the ability to drag-and-drop terms from presented formulæ
into formula-input places such as the exercise formula editor, the function
plotter, or to the external world.
This drag-and-drop is initiated using a contextual-menu which comes
up by clicking on a presented term. We describe the user-interface limitations
that have lead us to require these extra interactions instead of
relying on the simple copy-and-paste paradigm. We explain how the current
mechanism works and sketch how ActiveMath could collaborate
with external receiving applications.