Kokouspöytäkirja	Ohjelmistotuotantoprojekti todistustoimitin

Aika: 28.2.2003 kello 14-16.

Läsnä:
Teppo Kankaanpää
Jaakko Nenonen (puheenjohtaja)
Aki Nyrhinen
Visa Röyskö
Juha-Matti Tapio (sihteeri)
Marja Huovinen (ohjaaja)
Matti Nykänen (asiakas)


1. Käsiteltiin käyttöliittymän paperiprototyyppiä.

- Uuden todistuksen luominen
  - Todettiin, että käyttäjä voi vaihtaa kalkyyliä kesken lauseen
    kirjoittamisen ja ohjelman on siedettävä tästä mahdollisesti
    syntyvät muutokset lausekkeen validiuteen.
  - Pohdittiin todistuksen vasemman puolen sisällyttämistä dialogiin.

- Todistaminen
  - Todettiin, että atomeita ei voi klikata.
  - Pohdittiin sulutuksen näkyviin jättämistä.
  - Todettiin, että todistusnäkymän ja navigointi-ikkunan väritykset ovat
    keskenään epäkonsistentit. Päätettiin muuttaa värien valintaa siten,
    että saman värin käyttöä eri merkityksissä vältetään.
  - Todistusnäkymä voisi ilmaista milloin todistus on valmis.
  - Käyttöliittymään voitaisiin lisätä indikaattori siitä, onko
    todistuksesta ajantasainen versio talletettuna levylle.
  - Prototyypistä puuttui todistuksen sulkutoiminto. Ehdotettiin
    lisättäväksi.
  - Pohdittiin mitä tapahtuu jos käyttäjä sulkee navigointi-ikkunan.
    Ehdotettiin valikkoon optiota navigointi-ikkunan näkyvyydestä.
  - Todettiin, että käyttöoppaassa tulee kiinnittää huomiota
    prinsipaaliin konnektiiviin, koska sen merkitys ei oletettavasti ole
    käyttäjille itsestään selvä.
  - Pohdittiin todistuksen haaran katkaisun tarpeellisuutta ja
    toteutusmahdollisuuksia. Tiettävästi päädyttiin hylkäämään kyseinen
    toiminto (vai?).
  
- Todistuksen avausdialogi
  - Mikäli tiedostoa ei voida ladata onnistuneesti, päätettiin pitää
    avausdialogi ruudulla ja ilmoittaa virheestä sen sijaan että
    avausdialogi sulkeutuisi.
  - Avattu puu näkyy todistusikkunassa aluksi siten, että juuren
    prinsipaali konnektiivi on keskitetty ruudun alaosaan keskelle.

- Navigointipuu
  - Navigaatioikkunaan halutaan jonkinlainen indikaattori pääikkunan
    näkymän sijainnista.

- Tulostusdialogi
  - Todettiin käyttöohjeen merkitys suureksi tulostusdialogin osalta,
    koska sen toiminta ei ole itsestäänselvää käyttäjälle.
  - Tulostusalueen rajauksessa käytetään kahdenlaisia klikkauksia.
    - Tavallinen klikkaus merkitsee tulostusalueen alimman solmun.
    - Mod-klikkaus (esim. shift-klik) merkitsee tulostusalueen ylimmän solmun.

- Yleistä
  - Sekä pääikkunassa että navigaatioikkunassa tulisi näkyä
    todistuksen nimi otsikkopalkissa.
  - Toivottiin tilakonetta klikkailun vaikutuksesta kaikkien
    tilanteiden huomioinnin varmistamiseksi.
  - Undo-historiaa ei talleteta tiedostoon.
  - Pohdittiin halutun solmun avaamista uuteen ikkunaan.

2. Muita asioita

- Todettiin, että suunnittelulle on enää vain vähän aikaa.
- Päätettiin kokoontua seuraavana maanantaina kello 16 suunnittelemaan.