Giters

as / a

A graphical text editor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

a: mouse: delete state machine

as opened this issue · comments

commented

The state machine for the mouse is evil and over-complicated. It's time to throw it out.

commented

Fixed in v0.7.12