Owen Stephens

I prefer them both because they are easier to read (larger text) and I feel they are more explicit and easier to learn - I don't have to learn what...

@thadguidry I agree some of the icons are clear/well understood (the tab is a good example). I also accept that the icons/graphics are defined internationally - so it maybe that...

Maybe of interest - in this post the approach taken is to replace char(0)-char(32) with the equivalent Unicode control picture https://charlee.li/display-non-printable-characters.html

See #1354 for the display of consecutive spaces (separate to the display of non-printing characters). I think it is just an easy css fix tbh but I need to try...

#1497 implemented the display of consecutive spaces

Thinking that the padding could be done by adding 'lpad' and 'rpad' functions to GREL, following similar rules to * Redshift LPAD/RPAD functions https://docs.amazonaws.cn/en_us/redshift/latest/dg/r_LPAD.html * MySQL LPAD/RPAD functions * https://dev.mysql.com/doc/refman/5.7/en/string-functions.html#function_lpad...

Just noted that org.apache.commons.lang3.StringUtils (which we already use) has leftpad and rightpad functions which we can probably use to create GREL lpad() and rpad() functions * https://commons.apache.org/proper/commons-lang/apidocs/org/apache/commons/lang3/StringUtils.html#leftPad-java.lang.String-int-char- * https://commons.apache.org/proper/commons-lang/apidocs/org/apache/commons/lang3/StringUtils.html#rightPad-java.lang.String-int-java.lang.String-

> Presumably this should include the full life cycle similar to browser extensions with the ability to enable/disable, configure, and remove extensions as well. I'd regard the minimal implementation as...