Code Editor : user-lib.pl