Skip to content

Instantly share code, notes, and snippets.

@rmzelle
Created July 8, 2011 13:33
Show Gist options
  • Save rmzelle/1071836 to your computer and use it in GitHub Desktop.
Save rmzelle/1071836 to your computer and use it in GitHub Desktop.
jEdit XML Indent bug with deleting spaces in attribute values
<?xml version="1.0" encoding="utf-8"?>
<style>
<!-- this section -->
<group prefix=" " delimiter=" "></group>
<names variable="editor" delimiter=", " prefix=" " suffix=""></names>
<names variable="editor translator" delimiter=", " prefix=" (" suffix=")"></names>
<!-- becomes -->
<group prefix=" " delimiter=""></group>
<names variable="editor" delimiter=", " prefix="" suffix=""></names>
<names variable="editor translator" delimiter=", " prefix="(" suffix=")"></names>
<!-- spaces in the attribute values below are unaffected -->
<group suffix="." delimiter=", "></group>
<text macro="editor" prefix=" "/>
<group delimiter=" "></group>
</style>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment