Re: listings: spazi evidenziati di lunghezza a scelta

#21071
lorenzo.pantieri
Partecipante
    Up
    0
    Down
    ::

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

    Ottimo!

    Grazi mille,
    L.

    Go to top