[isabelle-dev] [PATCH 3 of 3] pretty: Use a more accurate method of measuring string lengths

[David Greenaway]

 src/Pure/General/pretty.scala              |  16 ++++++++++++----
 src/Tools/jEdit/src/jedit_lib.scala        |  13 ++++++++-----
 src/Tools/jEdit/src/pretty_text_area.scala |  12 +++++++++---
 src/Tools/jEdit/src/pretty_tooltip.scala   |  20 ++++++++++++--------
 src/Tools/jEdit/src/rich_text_area.scala   |   6 +++++-
 5 files changed, 46 insertions(+), 21 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-3.patch
Type: text/x-patch
Size: 8100 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130321/bcca3b3d/attachment-0002.bin>