Ero sivun ”Keskustelu Linux.fista:Merkitsemiskäytäntöjä” versioiden välillä
Siirry navigaatioon
Siirry hakuun
Keskustelu Linux.fista:Merkitsemiskäytäntöjä (muokkaa)
Versio 27. elokuuta 2007 kello 20.20
, 27. elokuuta 2007→Kursivoinnit ja tt-tagit
Pb (keskustelu | muokkaukset) |
|||
| Rivi 10: | Rivi 10: | ||
:Minusta tuo kursivointi olisi noille käyttöliittymäteksteille ainakin selkeämpi ratkaisu. <nowiki><tt></nowiki> -muotoiltu teksti antaa minusta ymmärtää, että tekstin tulee olla merkilleen oikein, tai homma ei toimi. Suomennoksissa on kuitenkin eroja, ja eri kieliäkin on käytössä. Yleensä ainakin tasalevyisiä kirjaimia käytetään komentorivien lisäksi esim. asetustiedostoja muokattaessa ja näytettäessä. Graafisessa käyttöliittymässä kuitenkin aika harvalla on tasalevyinen fontti valittuna. Tasalevyistä en siis itse kannata niihin. Valikkoteksti kannattaa minusta kuitenkin erottaa muusta ohjetekstistä, joten kursivointi olisi siihen yksi vaihtoehto. --[[Käyttäjä:Muep|Muep]] 27. elokuuta 2007 kello 14.14 (EEST) | :Minusta tuo kursivointi olisi noille käyttöliittymäteksteille ainakin selkeämpi ratkaisu. <nowiki><tt></nowiki> -muotoiltu teksti antaa minusta ymmärtää, että tekstin tulee olla merkilleen oikein, tai homma ei toimi. Suomennoksissa on kuitenkin eroja, ja eri kieliäkin on käytössä. Yleensä ainakin tasalevyisiä kirjaimia käytetään komentorivien lisäksi esim. asetustiedostoja muokattaessa ja näytettäessä. Graafisessa käyttöliittymässä kuitenkin aika harvalla on tasalevyinen fontti valittuna. Tasalevyistä en siis itse kannata niihin. Valikkoteksti kannattaa minusta kuitenkin erottaa muusta ohjetekstistä, joten kursivointi olisi siihen yksi vaihtoehto. --[[Käyttäjä:Muep|Muep]] 27. elokuuta 2007 kello 14.14 (EEST) | ||
::Jos valikkoteksteihin jonkinlaista muotoilua laitetaan, niin kursivointi on kyllä selvästi parempi vaihtoehto. Pakettien nimissä kannattaisin ehkä mieluummin tt:tä, mutta tämä kyllä riippuu ennen kaikkea siitä, mikä sopii sivun yleiseen tyyliin. --[[Käyttäjä:Pb|Pb]] 27. elokuuta 2007 kello 20.20 (EEST) | |||