Re: listings: spazi evidenziati di lunghezza a scelta

#21070
DMW
    Up
    0
    Down
    ::


    Prova così
    `\newcommand{\demowidth}[1]{\rule{0.4pt}{.3ex}\rule{#1}{0.4pt}\rule{0.4pt}{.3ex}}`

    è identico.

    Ciao

    Andrea

    Go to top