common/dev.ust.zinc.grader.extension/indent

indent

fun String.indent(level: Int, indentElem: String = "", withHint: Boolean = true): String

Indents this using a given String.

Parameters

level

Levels to indent to.

indentElem

String to indent with.

withHint

If true, use | to show each indentation level.