[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[W3-dev] List Item Margins
From: |
Colin Williams |
Subject: |
[W3-dev] List Item Margins |
Date: |
Wed, 25 Nov 2009 10:47:35 -0500 |
Back in July, I submitted a bug fix to address the fact that the
margin preceding list items is converting pixel width to a space each.
The fix I proposed at the time was far too aggressive, so I am
proposing an alternate solution:
@@ -624,7 +624,7 @@ If the face already exists, it is unmodified."
(beginning-of-line)
(case list-style
((disc circle square)
- (insert (format (format "%%%dc" margin)
+ (insert (format (format "%%%dc" (/ margin (frame-char-width)))
(or (cdr-safe (assq list-style w3-bullets))
?o))))
((decimal lower-roman upper-roman lower-alpha upper-alpha)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [W3-dev] List Item Margins,
Colin Williams <=