Arthur Edelstein
Arthur Edelstein
Hi Josch, Thank you for pointing this out. I do want to make shortcuts configurable. Best regards, Arthur
Hi Lee and Everyone, Very sorry for my silence and that I haven't been able to keep clooj updated recently. A few things have taken up all my time of...
Hi Shantanu, Great idea, and I will try and do that with the next release. Best regards, Arthur On Thu, May 24, 2012 at 5:52 AM, Shantanu Kumar [email protected] wrote:...
Hi Devin, Sorry, I should have responded earlier. I'm not familiar with this feature -- can you point me to a screenshot or other details to help me decide? Thanks,...
Hi Devin, I like the functionality (showing all locations of a name) but I'm not sure I would do it with arrows. What about highlighting every occurrence of a given...
Thanks for adding this issue. I will try to fix it in the near future. Arthur On Mon, Sep 12, 2011 at 2:28 PM, kcarnold [email protected] wrote: > ## >...
See also issue 42
See also issue 48
Hi, fonts can now be changed. I haven't done anything with colors yet.
(4) kill child thread of current repl thread