|
From: Jaime V. <vi...@fe...> - 2017-07-31 09:11:04
|
On 31-07-2017 05:48, Robert Dodier wrote: > Yeah, number_of_arrows sounds interesting, but I couldn't see how it is > supposed to be used. I see that it shows up on the list that pops up > when you click the wrench icon, but changing number_of_arrows didn't > seem to cause the picture to be redrawn. Maybe I'm missing something > there. After you change any settings in the wrench icon menu, you have to close that menu and then click on the redraw icon. I had not noticed that the number_of_arrows was added to that menu so the new option is actually of some use, even though the problem that inspired "themusicgood1" to add that option can be solved without any need for a new option. Thus, I think we should keep that new option, although I would change it from number_of_arrows (which should be the square of an integer) to something such as arrows_grid, which should be a couple of integers. Regards, Jaime |