and yes, git shows me that the changes I have just resetted are again in the file
ср, 11 дек. 2019 г. в 07:52, gar <[email protected]>: > Edward, everything is even worse when it looked like. > I met the following: > - I introduce a new pieces of code into @clean .html > - then I decide to get rid of it, so I do git reset and then open/close > .leo file to apply the changes > - leo shows me that my changes are now gone > - ok, hitting 'enter' and then ctrl-c, see the log message 'wrote: ...html' > - reloading the page in the browser, going to the source and seeing that > file remained untouched > - and since that I cannot force leo to write file w/o those changes, it > says that it writes it - but the content remains the same > > ср, 11 дек. 2019 г. в 02:44, Edward K. Ream <[email protected]>: > >> On Tue, Dec 10, 2019 at 1:25 AM gar <[email protected]> wrote: >> >>> Caught it again. The complete scenario: >>> - small html file with @others >>> - one of the @other is for css >>> - tweaking one of the value, this looks like 'write a couple of symbols, >>> save, ctrl-z, save, ...' >>> after one of the ctrl-z the changes were not saved. >>> >> >> Thanks. This is a good clue. >> >> Edward >> >> -- >> You received this message because you are subscribed to the Google Groups >> "leo-editor" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/leo-editor/CAMF8tS0k_bm140YbgeqeAFq%2BbLFPcw82Zk%2BHp7ktzCQUbjgxxA%40mail.gmail.com >> <https://groups.google.com/d/msgid/leo-editor/CAMF8tS0k_bm140YbgeqeAFq%2BbLFPcw82Zk%2BHp7ktzCQUbjgxxA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVy%2Buu3bq91SJd2cf%3Dg0EynqF8jC_mjsNsBMR1sNp3s4wA%40mail.gmail.com.
