Pokey Rule c0b35fb8e7 Svg Hats (#66) ... * Initial colored svg hats * Various changes * Initial working version * Fix spacing * Use web view to compute font size (#57) * Use web view to compute font size * added missing px Co-authored-by: Andreas Arvidsson <andreas.arvidsson@redpill-linpro.com> * Working computations * Tweak hats so they work well for Pokey * Make height and size of hats configurable * added cache and settings for hats/font * Clean up Co-authored-by: Andreas Arvidsson <andreas.arvidsson87@gmail.com> Co-authored-by: Andreas Arvidsson <andreas.arvidsson@redpill-linpro.com>		2021-07-05 18:19:59 +01:00
..
cursorless-1.gif	Rename to cursorless; add debug cursorless.command	2021-04-09 12:40:21 +01:00
curved-hat.svg	Svg Hats (#66)	2021-07-05 18:19:59 +01:00
demo-2.gif	Another demo	2021-05-04 17:23:50 +01:00
demo-3.gif	One more demo	2021-05-04 17:34:31 +01:00
diamond-hat.svg	Svg Hats (#66)	2021-07-05 18:19:59 +01:00
icon.png	web-tree-sitter; python; icon	2021-05-12 10:53:18 +01:00
main-demo.gif	Add simple GIF	2021-05-04 16:08:44 +01:00
round-hat.svg	Svg Hats (#66)	2021-07-05 18:19:59 +01:00
swap.gif	Add swap demo	2021-05-08 17:04:38 +01:00