Re: [Geany-Users] automatically Reload the current file from disk upon external modification?
On Wed, Jul 9, 2014 at 4:30 PM, Matthew Brush wrote: > FYI, the next version of Geany doesn't use a modal dialog anymore, it uses a > message inside the document tab, which is somewhat less annoying, even if it > still doesn't reload automatically. > Thanks for letting me know. In any case I submitted a feature request on Github: https://github.com/geany/geany/issues/301 Regards, Liviu > Cheers, > Matthew Brush > > > ___ > Users mailing list > Users@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/users -- Do you think you know what math is? http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 Or what it means to be intelligent? http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 Think again: http://www.ideasroadshow.com/library ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Re: [Geany-Users] automatically Reload the current file from disk upon external modification?
On 14-07-09 03:30 AM, Liviu Andronic wrote: On Wed, Jul 9, 2014 at 11:28 AM, Lex Trotman wrote: On 9 July 2014 18:36, Liviu Andronic wrote: Dear all, Currently Geany will pop-up a dialogue: "The file 'gWidgets2-filter.R' on the disk is more recent than the current buffer. Do you want to reload it?" when the same file has been modified externally. When working on a file using two different editors at the same time (and saving frequently), the workflow would be nicer if the file were automatically reloaded from disk upon external modification. Tow editors on the same file!! Here lies madness ;) Well, maybe, but I take full responsibility for my own stupidity: I just want the workflow to be useful. Here's my personal reason for doing that: http://wiki.geany.org/howtos/using_geany_with_r#combining_geany_with_rstudio . Is there some hidden option that allows to achieve this? No, but if you want to do it manually you can disable checking by setting the timeout in prefs to zero. Is it worth filing a feature request on Github for disabling the confirmation dialogue (via a hidden option)? I quite like the automatic reload, which is very useful, and I wouldn't want to have to do it manually all the time. FYI, the next version of Geany doesn't use a modal dialog anymore, it uses a message inside the document tab, which is somewhat less annoying, even if it still doesn't reload automatically. Cheers, Matthew Brush ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Re: [Geany-Users] automatically Reload the current file from disk upon external modification?
On 9 July 2014 20:30, Liviu Andronic wrote: > On Wed, Jul 9, 2014 at 11:28 AM, Lex Trotman wrote: >> On 9 July 2014 18:36, Liviu Andronic wrote: >>> Dear all, >>> Currently Geany will pop-up a dialogue: >>> "The file 'gWidgets2-filter.R' on the disk is more recent than >>> the current buffer. >>> >>> Do you want to reload it?" >>> >>> when the same file has been modified externally. When working on a >>> file using two different editors at the same time (and saving >>> frequently), the workflow would be nicer if the file were >>> automatically reloaded from disk upon external modification. >> >> Tow editors on the same file!! Here lies madness ;) >> > Well, maybe, but I take full responsibility for my own stupidity: I > just want the workflow to be useful. Here's my personal reason for > doing that: > http://wiki.geany.org/howtos/using_geany_with_r#combining_geany_with_rstudio > . > > >>> >>> Is there some hidden option that allows to achieve this? >> >> No, but if you want to do it manually you can disable checking by >> setting the timeout in prefs to zero. >> > Is it worth filing a feature request on Github for disabling the > confirmation dialogue (via a hidden option)? I quite like the > automatic reload, which is very useful, and I wouldn't want to have to > do it manually all the time. It never hurts to ask, if you don't ask you don't get :) Cheers Lex > > Thanks, > Liviu > >> Cheers >> Lex >> >>> >>> Regards, >>> Liviu >>> >>> -- >>> Do you think you know what math is? >>> http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 >>> Or what it means to be intelligent? >>> http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 >>> Think again: >>> http://www.ideasroadshow.com/library >>> ___ >>> Users mailing list >>> Users@lists.geany.org >>> https://lists.geany.org/cgi-bin/mailman/listinfo/users >> ___ >> Users mailing list >> Users@lists.geany.org >> https://lists.geany.org/cgi-bin/mailman/listinfo/users > > > > -- > Do you think you know what math is? > http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 > Or what it means to be intelligent? > http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 > Think again: > http://www.ideasroadshow.com/library > ___ > Users mailing list > Users@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/users ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Re: [Geany-Users] automatically Reload the current file from disk upon external modification?
On Wed, Jul 9, 2014 at 11:28 AM, Lex Trotman wrote: > On 9 July 2014 18:36, Liviu Andronic wrote: >> Dear all, >> Currently Geany will pop-up a dialogue: >> "The file 'gWidgets2-filter.R' on the disk is more recent than >> the current buffer. >> >> Do you want to reload it?" >> >> when the same file has been modified externally. When working on a >> file using two different editors at the same time (and saving >> frequently), the workflow would be nicer if the file were >> automatically reloaded from disk upon external modification. > > Tow editors on the same file!! Here lies madness ;) > Well, maybe, but I take full responsibility for my own stupidity: I just want the workflow to be useful. Here's my personal reason for doing that: http://wiki.geany.org/howtos/using_geany_with_r#combining_geany_with_rstudio . >> >> Is there some hidden option that allows to achieve this? > > No, but if you want to do it manually you can disable checking by > setting the timeout in prefs to zero. > Is it worth filing a feature request on Github for disabling the confirmation dialogue (via a hidden option)? I quite like the automatic reload, which is very useful, and I wouldn't want to have to do it manually all the time. Thanks, Liviu > Cheers > Lex > >> >> Regards, >> Liviu >> >> -- >> Do you think you know what math is? >> http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 >> Or what it means to be intelligent? >> http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 >> Think again: >> http://www.ideasroadshow.com/library >> ___ >> Users mailing list >> Users@lists.geany.org >> https://lists.geany.org/cgi-bin/mailman/listinfo/users > ___ > Users mailing list > Users@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/users -- Do you think you know what math is? http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 Or what it means to be intelligent? http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 Think again: http://www.ideasroadshow.com/library ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Re: [Geany-Users] automatically Reload the current file from disk upon external modification?
On 9 July 2014 18:36, Liviu Andronic wrote: > Dear all, > Currently Geany will pop-up a dialogue: > "The file 'gWidgets2-filter.R' on the disk is more recent than > the current buffer. > > Do you want to reload it?" > > when the same file has been modified externally. When working on a > file using two different editors at the same time (and saving > frequently), the workflow would be nicer if the file were > automatically reloaded from disk upon external modification. Tow editors on the same file!! Here lies madness ;) > > Is there some hidden option that allows to achieve this? No, but if you want to do it manually you can disable checking by setting the timeout in prefs to zero. Cheers Lex > > Regards, > Liviu > > -- > Do you think you know what math is? > http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 > Or what it means to be intelligent? > http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 > Think again: > http://www.ideasroadshow.com/library > ___ > Users mailing list > Users@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/users ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
[Geany-Users] automatically Reload the current file from disk upon external modification?
Dear all, Currently Geany will pop-up a dialogue: "The file 'gWidgets2-filter.R' on the disk is more recent than the current buffer. Do you want to reload it?" when the same file has been modified externally. When working on a file using two different editors at the same time (and saving frequently), the workflow would be nicer if the file were automatically reloaded from disk upon external modification. Is there some hidden option that allows to achieve this? Regards, Liviu -- Do you think you know what math is? http://www.ideasroadshow.com/issues/ian-stewart-2013-08-02 Or what it means to be intelligent? http://www.ideasroadshow.com/issues/john-duncan-2013-08-30 Think again: http://www.ideasroadshow.com/library ___ Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
