Rev 4577 adds an important new feature: "quick edit/save mode" This fixes bug 381527 (quick edit and save use of leo) and makes Leo considerably lighter.
**Important**: As you will see below, the new code contains several hacks. That doesn't bother me, because they are all hidden. The *effect* of those hacks is easily understandable. **However**, I may have missed something: I almost missed that I had to change the code that prompts for a save when closing an unsaved headline. So please be on the lookout for any use cases that I missed. >From the checkin log: QQQQQ "leo somefile.foo" opens a nameless .leo file containing a single @edit node. In quick edit/save mode, the user can change somefile.foo without saving the .leo file at all. Leo *does* properly prompt for saves so that changes to somefile.foo will not be lost. Quick edit/save mode changes Leo as follows: 1. The save command, and *only* the save command (not save-as or save- to), looks for an unsaved .leo file containing a single @edit node. This is the "quick save" case. In this case, Leo does *not* prompt for a filename and does *not*, therefore, save the .leo file. However, Leo does save the @edit node if it is dirty. 2. In the quick edit/save case, atFile.writeOneAtEdit node does *not* prompt for so-called dangerous writes, because, in fact, the write is not dangerous :-) 3. In the quick edit/save case, leoFrame.promptForSave prompts for saving the @edit file, *not* the .leo file. QQQQQ I forgot to mention one detail. There is no way to save the .leo file itself in quick edit/save mode. If you want to do that, simply add any other node at the top level of the outline. This ends quick edit/ save mode. When you save or close the outline, Leo will prompt you for the name of the .leo file as usual. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
