atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Feature request: "busy/hourglass" indicator

Open allancto opened this issue 8 years ago • 0 comments

Just to confirm i actually pressed ctrl-alt-r

allancto avatar Dec 11 '16 04:12 allancto