Method flush

src/main/java/fieldpython/PI.kt:205–207

                success: Consumer<String>,
                lineErrors: Consumer<Pair<Int, String>>
            ): Any? {
                var textFragment = textFragment
                RemoteEditor.removeBoxFeedback(Optional.of(box), "__redmark__")

                try {
                    Execution.context.get().push(box)