<br><br><div class="gmail_quote">On 15 May 2010 14:40, Jon Senior <span dir="ltr"><<a href="mailto:jon@restlesslemon.co.uk">jon@restlesslemon.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Sat, 15 May 2010 14:10:06 +1000<br>
Lex Trotman <<a href="mailto:elextr@gmail.com">elextr@gmail.com</a>> wrote:<br>
> Since it doesn't know the status of the directory the file was in or<br>
> even the whole filesystem, and finding out could cause long delays as<br>
> things time out, it is reasonable to ask the user where it is safe to<br>
> save the file.<br>
<br>
</div>I agree. It is more than reasonable, it is to be praised. Better to<br>
harass the user a little than to risk losing data.<br>
<div class="im"><br>
> When a file of the same name re-appears the application can't know if<br>
> it is intended to be the same object, so it has to ask the user.<br>
<br>
</div>Even after a reload. Here's the sequence of events (and this doesn't<br>
require a network drive to simulate)<br>
<br>
> touch foo.bar<br>
> geany foo.bar (assumes an existing session)<br>
[Edit file in geany and save using ctrl-s]<br>
> mv foo.bar bar.foo<br>
[Return to geany, you will be prompted that the file can no longer be<br>
found and offered a chance to save it. Choose cancel leaving the file<br>
open but marked as dirty]<br>
> mv bar.foo foo.bar<br>
[Return to geany and choose Reload. You will be asked to confirm and<br>
then the file is reloaded and it is no longer marked as dirty. Make a<br>
change and save with ctrl-s. You will now be presented with a "Save<br>
file" dialog]<br>
<br></blockquote><div><br>I misunderstood, I thought you had said reloading stopped it showing a save dialog. I agree its superfluous if you have reloaded, and as I said I think you should be able to tell Geany that its superfluous even if you didn't reload.<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
This is, I feel, broken logic. The file was marked as dirty but has<br>
been reloaded from disk. A file reloaded from disk should be no<br>
different from a file freshly loaded for the first time. This does not<br>
occur if the file is not moved temporarily. By choosing to reload, the<br>
user has already resynchronised the geany buffer with the file and thus<br>
re-established the link between the buffer and the file. This final<br>
prompt is (in my opinion) superfluous.<br>
<br>
Were it not for the painfully long opening time of the save dialog when<br>
dealing with a large networked directory of files, it would be a minor<br>
inconvenience, but while waiting for the dialog to open, you have time<br>
on your hands to think about this stuff! :-)<br>
<br></blockquote><div> </div><div>Heh heh, can't have users thinking now can we...<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I don't wish to be critical. This is, frankly, my only issue with geany<br>
(I'd love it if it could convert R to optimised C, but I don't think<br>
that fits into the description of a lightweight editor!)</blockquote><div> </div><div>Sounds more like the job description of a compiler :-) but Geany can run one of those for you if you can find one :-)<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
. I know that<br>
I'll not have the time to track this down in the source for a while, so<br>
I'm putting it out there. I'm happy to submit a proper bug report if<br>
requested.<br>
<div><div></div><div class="h5"><br></div></div></blockquote><div><br>I'll have a look at the logic and how easy it is to change if no one beats me to it in the next few days.<br><br>Cheers<br>Lex<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div class="h5">
Jon<br>
_______________________________________________<br>
Geany-devel mailing list<br>
<a href="mailto:Geany-devel@uvena.de">Geany-devel@uvena.de</a><br>
<a href="http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel" target="_blank">http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel</a><br>
</div></div></blockquote></div><br>