// // NumColPad.vdm Ch. Ziemski 20.10.2003 // // // Changes a list like // // 4,willi // 2,karl // 1,otto // 738,tom // 12,peter // 10,peter // // to // // 0000000004,willi // 0000000002,karl // 0000000001,otto // 0000000738,tom // 0000000012,peter // 0000000010,peter // // to be able to sort by the numerical value of the first column // and not by the ASCII-character sort order. // //---------------------------------------------------------------------------- BoF while ( ! At_EoF ) { #103=Num_Eval() Del_Char(Chars_Matched) Num_Ins(#103, FILL+FORCE+NOCR) Line(1, NOERR) }