[kde-doc-english]kdegraphics/kpaint

[Éric Bischoff]

On Friday 05 April 2002 21:22, Lauri Watts wrote:
>
> extensions are <literal role="extension">, not <filename>, and I suppose
> the most technically correct is <userinput><literal
> role="extension">.bmp</literal></userinput>
>
> That's a lot of typing for three letters.  I'd be sorely tempted to make
> entities of at least the <literal></> bit, if I had to type them more than
> once or twice.

If it's too much fuzz to type those marked up extensions, we could also 
introduce entities like &bmp-ext; , &png-ext; , &gif-ext; etc.