Xmonad
ikkunointiohjelma X11:lle From Wikipedia, the free encyclopedia
Remove ads
Xmonad on X Window System -järjestelmää varten kehitetty limittävä ikkunanhallintaohjelma joka on tarkoitettu olemaan helppo käyttää näppäimistöltä. Lähdekoodi on suunniteltu olemaan helposti muokattava ja mahdollisimman lyhyt ja virheetön.[2] Xmonad on ohjelmoitu kokonaan Haskell-ohjelmointikielellä ja se on BSD-lisenssin alainen vapaa ohjelmisto.
Xmonad on limittävä ikkunointiohjelma eli ohjelma määrittelee automaattisesti ikkunoiden paikat jotta ne täyttäisivät koko näytön. Käyttäjän ei siten tarvitse huolehtia ikkunoiden sijoittelusta. Ohjelma sisältää useita eri asettelumalleja ja myös toisten käyttäjien suunnittelemia asetteluja voidaan käyttää.
Ohjelman virheettömyyden takaamiseksi ohjelmaa testataan automatisoidulla työkalulla joka osittain pystyy todistamaan ohjelman oikeellisuuden.[3]
Remove ads
Lähteet
Aiheesta muualla
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads