Windows Tips & News

Linux Mint 17.3 "Rosa" aangekondigd, bevat leuke nieuwe features

AANBEVOLEN: Klik hier om Windows-problemen op te lossen en de systeemprestaties te optimaliseren

Vandaag werd Linux Mint 17.3 "Rosa" aangekondigd. Deze release lijkt de laatste puntrelease van versie 17 te zijn. Voor bestaande Mint 17.x-gebruikers moet het upgradeproces soepel en snel verlopen. Naast beveiligings- en stabiliteitsoplossingen, brengt "Rosa" enkele nieuwe functies naar de gebruikersinterface.

De app "Desktop Settings", een exclusieve Mint-tool om het uiterlijk en het gedrag van de gebruikerswerkruimte te beheren, is bijgewerkt. Nu heeft het een nieuwe mogelijkheid om met één klik de venstermanager/compositingmanager te wijzigen. Deze functie is beschikbaar voor MATE- en Xfce-desktopomgevingen.

mintdesktopDe gebruiker kan schakelen tussen de volgende windowmanagers: Marco, Metacity, Xfwm4, Openbox, Compiz en Compton. Het wisselen van windowmanager werkt 'on the fly', het gaat direct in, zodat je niet meer hoeft uit te loggen.

Er is een nieuwe helpsectie toegevoegd om verschillende concepten rond windowmanagers en compositing uit te leggen.

Als je wilt weten waarom de naam "Rosa" voor deze release is gekozen, is dat omdat Rosa een klassieke vintage Italiaanse, Spaanse en Portugese naam is.

Linux Mint 17.3 "Rosa" zal de laatste 17.x-update zijn. De release na 17.3 is versie 18 en is gebaseerd op Ubuntu 16.04 LTS. 17.x-releases worden dan tot 2019 ondersteund voor bugfixes en beveiligingsfixes. Na 17.3 zijn de meeste grote wijzigingen gericht op 18.x. Cinnamon 2.8 is bijvoorbeeld gepland voor Mint 17.3, terwijl Cinnamon 3.0 is gepland voor Mint 18. Bron: Linux Mint.

AANBEVOLEN: Klik hier om Windows-problemen op te lossen en de systeemprestaties te optimaliseren
Geluiden wijzigen in Windows 10

Geluiden wijzigen in Windows 10

AANBEVOLEN: Klik hier om Windows-problemen op te lossen en de systeemprestaties te optimaliserenV...

Lees verder

Download USB-foutmeldingen uitschakelen in Windows 10

Deze website maakt gebruik van cookies om uw ervaring te verbeteren terwijl u door de website nav...

Lees verder

Geluiden wijzigen in Windows 10

Geluiden wijzigen in Windows 10

Vandaag zullen we zien hoe we verschillende geluiden kunnen wijzigen die worden afgespeeld wannee...

Lees verder