Veel instellingen/parameters worden pas van kracht na het opnieuw starten van Proteus. Vooral als je - als beheerder - aan het experimenteren bent is dat storend. Een 'herstartknop' die Proteus voor de huidige gebruiker/beheerder opnieuw opstart m...
