mipui icon indicating copy to clipboard operation
mipui copied to clipboard

Add arrows

Open amishne opened this issue 6 years ago • 0 comments

Adding arrows right now is a pain - find unicode arrows through some external service, copy them in and even then the result isn't stretchable like stairs are. Find some way to address this.

  • Manually add stretchable arrows?
  • Expose unicode search functionality?

amishne avatar Jun 06 '18 11:06 amishne