Github user zentol commented on a diff in the pull request:
https://github.com/apache/flink/pull/6294#discussion_r202968456
--- Diff:
flink-core/src/main/java/org/apache/flink/configuration/description/TextElement.java
---
@@ -53,6 +55,16 @@ public static TextElement text(String text) {
return new TextElement(text, Collections.emptyList());
}
+ /**
+ * Tries to format the text as code.
+ *
+ * @return text element with applied formatting
+ */
+ public TextElement formatAsCode() {
--- End diff --
alternatively we could add an explicit `Code` `InlineElement`.
---