Summary
- HTML preview via builtin HTTP server;
- permissive output of XML.Text, e.g. relevant for embedded <style>;
The file was modified | NEWS (diff) |
The file was modified | src/Tools/jEdit/src/actions.xml (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |
The file was modified | src/Tools/jEdit/src/plugin.scala (diff) |
The file was modified | src/Pure/Thy/html.scala (diff) |