PrimTux, la distribution éducative

Bonjour,
Je trouve dommage que les marques-pages prédéfinis et classés par disciplines ne soient plus présents.
En étant Super, je n'arrive pas à ajouter un marque-page.

Mais ils y sont, ctrl +b

Si tu veux enregistrer une marque-page, la touche raccourci est Ctrl+D

Désolé j'ai vérifié, il n'y a pas de marques-pages sur ma session super avec primtux 5 debian.
Par contre sur la lubuntu ils y sont.

Ben tu les importes de l'admin, non?

Non en fait les marques pages ne sont pas présents en mini sur lubuntu non plus mais c'est vrai que c'est plus pour les enseignants que les élèves;