[xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
16 Dec
2008
16 Dec
'08
8:48 p.m.
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some bold text**
2) Move the first spaces before the bold block: <space>**some bold text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
--
Thomas Mortagne
16 Dec
16 Dec
8:49 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Tue, Dec 16, 2008 at 8:48 PM, Thomas Mortagne
<thomas.mortagne(a)xwiki.com> wrote:
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
I forgot to say, see http://jira.xwiki.org/jira/browse/XWIKI-3002.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some bold text**
2) Move the first spaces before the bold block: <space>**some bold text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
--
Thomas Mortagne
--
Thomas Mortagne
8:53 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Wed, Dec 17, 2008 at 1:18 AM, Thomas Mortagne
<thomas.mortagne(a)xwiki.com>wrote;wrote:
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some bold
text**
2) Move the first spaces before the bold block: <space>**some bold text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
+1 for 2)
- Asiri
--
Thomas Mortagne
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs
9:04 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne wrote:
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" | ";")*
| ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
Thanks
-Vincent
9:15 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Dec 16, 2008, at 9:04 PM, Vincent Massol wrote:
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne wrote:
Just to be clear the escape char is there to break standard behaviors
so having:
~(space)**bold**
or
**~(space)bold**
makes sense to me.
Same for headers:
~(space)= not a header
And possibly same for other elements which recognize spaces. This is
very similar to using an escape in ~**notbold
thanks
-Vincent
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p>
in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that
important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" | ";")*
| ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
9:18 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Tue, Dec 16, 2008 at 9:15 PM, Vincent Massol <vincent(a)massol.net> wrote:
On Dec 16, 2008, at 9:04 PM, Vincent Massol wrote:
ok so +1 for the general distinction between space character and space
as part of the syntax.
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne wrote:
Just to be clear the escape char is there to break standard behaviors
so having:
~(space)**bold**
or
**~(space)bold**
makes sense to me.
Same for headers:
~(space)= not a header
And possibly same for other elements which recognize spaces. This is
very similar to using an escape in ~**notbold Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p>
in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that
important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" | ";")*
| ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
thanks
-Vincent
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs
--
Thomas Mortagne
9:15 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
On Tue, Dec 16, 2008 at 9:04 PM, Vincent Massol <vincent(a)massol.net> wrote:
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne wrote:
At first It looked too tricky to me (the special case way of use the
space in list not the syntax) but it's maybe the cleaner way after all
yes.
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" | ";")*
| ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
Thanks
-Vincent
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs
--
Thomas Mortagne
10:31 p.m.
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
+1 for 4.
Jerome.
Vincent Massol wrote:
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne wrote:
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" |
";")* | ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
Thanks
-Vincent
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs 
17 Dec
17 Dec
noon
New subject: [xwiki-devs] [VOTE] How to handle a bold starting with a space at the beginning of the line
+1 for 4
Lucien.
Jerome Velociter wrote:
+1 for 4.
Jerome.
Vincent Massol wrote:
On Dec 16, 2008, at 8:48 PM, Thomas Mortagne
wrote:
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs
Hi devs,
We have an issue in the XWiki renderer when the XDOM contains a bold
starting with a space at the beginning of a line. For example when we
get an html containing <p><strong> some bold
text</strong></p> in
the office importer.
In that case currently we lost the bold when rendering because one or
more stars followed by a space is a list in XWiki syntax.
I see two solutions:
1) Escape the first space in a verbatim block : **{{{<space>}}}some
bold text**
2) Move the first spaces before the bold block: <space>**some bold
text**
3) Remove all the first spaces of the bold block: **some bold text**
I would prefer 1) because it's the only one which is really the same
thing than the input but I think 2) is better for most users because
it's less disturbing for something which is not really that important.
I listed 3) because it's easier to implement than 2).
WDYT ?
Here is my +1 for 2) and +0 for 1) and 3)
I'd prefer 4)... :)
Which could be:
**~(space)whatever**
This is possible I think by changing XWikiScanner.jj in wikimodel to:
<#LI: (<XWIKI_SPACE>)* ( ("*")+ (":" |
";")* | ( "1" | "*" )+
"." (":" | ";")* | (":" | ";")+ )
(<SPACE>)+ >
Note the <SPACE> instead of <XWIKI_SPACE>.
Thanks
-Vincent
_______________________________________________
devs mailing list
devs(a)xwiki.org
http://lists.xwiki.org/mailman/listinfo/devs
5752
days inactive
5753
days old
8 comments
5 participants
participants (5)
-
Asiri Rathnayake -
Jerome Velociter -
Lucien PEREIRA -
Thomas Mortagne -
Vincent Massol