[isabelle-dev] [PATCH 2 of 3] pretty: Ensure we are consistent in our use of space-widths versus character-widths

[David Greenaway]

 src/Pure/General/pretty.scala              |  20 +++++++++-----------
 src/Tools/jEdit/src/jedit_lib.scala        |   6 +++---
 src/Tools/jEdit/src/pretty_text_area.scala |   2 +-
 src/Tools/jEdit/src/pretty_tooltip.scala   |   2 +-
 src/Tools/jEdit/src/rich_text_area.scala   |   2 +-
 5 files changed, 15 insertions(+), 17 deletions(-)



________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: isabelle-mainline-2.patch
Type: text/x-patch
Size: 5164 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130321/c31967b6/attachment-0002.bin>