Summary
- retain isolated blob nodes (amending deb2fcbda16e): avoid failure of Session.handle_change with "Missing blob", when opening theory with load command later;
- clarified signature -- avoid confusion with Resources.is_hidden;
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Pure/PIDE/document.scala (diff) |
The file was modified | src/Tools/jEdit/src/theories_dockable.scala (diff) |