Profile Line Save Extension
 Set the Profiler Lines Save filename extension.
──────────────────────────────────────────────────────────────────────────────

 This option allows you to set the default extension of the profiler line
 file, that is created when you save your profiler lines information.

   █▀▀ Profile Lines Save File Extension ▀▀█
   █            Extension: PLI             █ 
   █▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄█ 
                                             

 Simply type in three letters to be used as the file extension for the
 Profile Lines Save File.