I have applied this change. Jeremiah
On Mon, May 25, 2020, 11:35 AM anonymous <[email protected]> wrote: > URL: > <https://savannah.gnu.org/bugs/?58444> > > Summary: Improvement of Windows batch file leuncher > Project: Denemo > Submitted by: None > Submitted on: Mon 25 May 2020 04:35:30 PM UTC > Category: None > Severity: 3 - Normal > Item Group: None > Status: None > Privacy: Public > Assigned to: None > Open/Closed: Open > Discussion Lock: Any > > _______________________________________________________ > > Details: > > Thank you for a great product. > > I have a suggestion for a better user experience. The Windows batch file > launcher Denemo.bat could use an improvement. As it stands the file does > not > work in all circumstances. A simple one line insert fixes this. > > With the insert the preamble in the file becomes: > > @ECHO OFF > cd /D %~dp0 > > Now it can even be registered to open .denemo files in Explorer. > > Regards > ;)Frode > > > > _______________________________________________________ > > File Attachments: > > > ------------------------------------------------------- > Date: Mon 25 May 2020 04:35:30 PM UTC Name: Denemo.bat Size: 260B By: > None > > <http://savannah.gnu.org/bugs/download.php?file_id=49167> > > _______________________________________________________ > > Reply to this item at: > > <https://savannah.gnu.org/bugs/?58444> > > _______________________________________________ > Message sent via Savannah > https://savannah.gnu.org/ > > >
