[ new ] change mouse cursor

stefan-hoeck / idris2-dom-mvc

Single Page Web Applications in Idris

BSD 3-Clause "New" or "Revised" License

18 stars 2 forks source link

Closed claudio-etterli closed 4 months ago

claudio-etterli commented 4 months ago

Adds new type for mouse cursors and function setCursor to change the mouse cursor to any standard cursor or a custom icon with the Url type.

Maybe the declaration(?) of the type could be moved to a new module Types.idr due to it's many lines.

stefan-hoeck commented 4 months ago

Many thanks for defining the type and interpolation rules!

I just had a look at the MDN: This is actually a CSS property. We should therefore do the following:

[x] add a new submodule Cursor with the type and interpolation to Text.CSS.
[x] drop the FFI call: We can change the cursor via an element's style attribute (via Web.MVC.View.attr) and in .css files

stefan-hoeck commented 4 months ago

Thanks! Looking good now!