You're right. In this new patch, I moved the Pencil Cursor option to
the Options menu.
If you'll use it, don't forget to revert the previous patch.
Thanks!
2012/11/7 dmg :
> I just checked, and you did indeed modify the config file. Great!
>
> On Wed, Nov 7, 2012 at 9:53 AM, dmg wrote:
>> Hi Lu
I just checked, and you did indeed modify the config file. Great!
On Wed, Nov 7, 2012 at 9:53 AM, dmg wrote:
> Hi Luciano,
>
> I am not the offiicial maintainer, but I have two recommendations to
> make this patch better:
>
> 1. Move it to options. I should not be part of the tool, since it does
Hi Luciano,
I am not the offiicial maintainer, but I have two recommendations to
make this patch better:
1. Move it to options. I should not be part of the tool, since it does
not alter its behaviour (it is only aesthetic).
2. Have you implemented saving the option to the config file?
--dmg
O
