Eclipse WUDSN / Wie compiler ändern? Draco 2. November 2019 um 06:23 Frag mal den User JAC! - er hat das Plugin geschrieben