Commit 73bf3856 authored by simonmar's avatar simonmar
Browse files

[project @ 2004-04-14 09:01:18 by simonmar]

indent: don't use tab characters
parent 6fc5861e
......@@ -876,8 +876,10 @@ easy_display nl_text txt end doc
lay (NilAbove p) no_doc = nl_text `txt` lay p cant_fail -- NoDoc always on first line
lay (TextBeside s sl p) no_doc = s `txt` lay p no_doc
indent n | n >= 8 = '\t' : indent (n - 8)
| otherwise = spaces n
-- OLD version: we shouldn't rely on tabs being 8 columns apart in the output.
-- indent n | n >= 8 = '\t' : indent (n - 8)
-- | otherwise = spaces n
indent n = spaces n
multi_ch 0 ch = ""
multi_ch n ch = ch : multi_ch (n - 1) ch
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment