От какого редактора эта печать?

Question

Я получил такую распечатку несколько дней назад, и мне просто понравилось, как редактор печатает исходный код. Если кто-нибудь знает, какой это редактор, пожалуйста, дайте мне ответ

Answer 1

Я совершенно уверен, что это вывод из a2ps, который является просто конвертером из простых текстовых файлов в postscript. Некоторые люди используют его как стандартный фильтр, применяемый автоматически при печати простого текста на принтерах.

Answer 2

Я не знаком с печатью из редакторов, но это может быть LaTeX с пакетом listings . Например, это

\documentclass[a4paper,12pt]{scrartcl}
\usepackage{listings}

\begin{document}

\lstset{
  language=python,
  numbers=left,
  frame=single,
  title=exemplum
}

\begin{lstlisting}
import sys
import random

for x in range(10000):
    result = 126
    ...

\end{lstlisting}
\end{document}

доходность

Я думаю, что это может быть изменено, чтобы показать границу вокруг него и иметь номера строк в пределах границы. Не знаю, как это сделать, хотя.

Answer 3

Я думаю, что это джедит.

РЕДАКТИРОВАТЬ: его не от jedit. Но, по-видимому, имеет примерно те же функции, что и форматирование печати