Community
Participate
Working Groups
We want to use the nicer border error marker rendering by default. This has been discussed in the newsgroup and mailing list: http://dev.eclipse.org/mhonarc/lists/riena-dev/msg01045.html http://www.eclipse.org/forums/index.php?t=msg&th=172025&start=0& As discussed: RienaDefaultTheme will use the border error marker. EclipseTheme and ExampleTheme will use the standard error marker (there is already a launcher for those).
Created attachment 175363 [details] Changes
Fixed in HEAD.