Which editor is this print from?

Question

Hi I received a print like this a few days ago, and I just loved the way the editor prints source code. If anyone knows which editor this is, please give me an answer

Answer 1

I am quite sure it is output from a2ps, which is simply a converter from plain text files to postscript. Some people use it as a standard filter applied automatically when printing plain text on printers.

Answer 2

I think its jedit.

EDIT: its not from jedit. But has appearantly about the same features wrt print formatting

Answer 3

I'm not familiar with printing from editors, but this might be LaTeX with the listings package. For example, this

\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}

yields

I guess it can be tweaked to show a border around it and have the line numbers within the border. Don't know how to do it though.