File: //usr/share/jed/lib/history.slc
.#(�! 8 - Max_Num_Lines+" 32�- Max_Num_Lines��" 21 , History_File��" 23 . ~/.jed-history� / expand_filename��" 21 / custom_variable,*�" 65 " fp+�� & getcwd� , History_File� - path_basename� + path_concat�" 66 ! r��" 65 % fopen�" fp�" 69 " fp $ NULLA.��"
70 , History_File ! r� % fopen�" fp/c�" 72 " fp $ NULLA.w/c*�" 75 % lines+� " fp� * fgetslines�% lines�" 76 % lines $ NULLA.w/c��" 80 + String_Type}+ strtrim_end % lines$" \n� ) array_map�% lines��" 81 % lines� & length! 1?.����" 82! 1�� % lines!� . mi
ni_set_lines/c�" 62y, history_load,*�# 103 % lines+� $ NULL� . mini_get_lines�% lines* ) not_blank+*�# 104 " fp+ $ NULL�" fp* $ file " st+�# 106 & _NARGS.�# 108�$ file��# 109 $ file ! w� % fopen�" fp�# 110 " fp $ NULLA.��# 112 @ Unable to open `%s' for w
riting. $ file� & verror�# 113" -1w/c/.��# 118 & getcwd� , History_File� - path_basename� + path_concat�$ file��# 119 $ file� ) stat_file�" st�# 120 " st $ NULLB.��# 121 $ file ! w� % fopen�" fp/c�# 122 " fp $ NULLA.�# 124 , History_File�$ file��# 125 $
file ! w� % fopen�" fp�# 126 " fp $ NULLA.��# 128 @ Unable to open `%s' for writing. $ file� & verror�# 129" -1w/c/c/d��# 134 $ file# 384� % chmodP��# 136 " fp$P %% JED: File generated by 'history_save' on %s\n $ time� ' fprintfP���# 138 , Integer_Type}
& strlen % lines� ) array_map! 0?� % where�) not_blank��# 140 ) not_blank % lines!�.*�# 142 $ line+�$ line��# 143 " fp$$ %s\n $ line� ' fprintfP/��# 146! 0w�# 101y, history_save,*�# 165 $ file " st+��# 167 6 Save local history as: ��# 168 , History_
File� - path_basename�# 169# 102��# 167 4 read_with_completion�$ file��# 171 $ file� ) stat_file�" st�# 173 " st $ NULLB.*�# 175 " yn+� & File ` $ file9 > ' already exists, overwrite it9� * get_y_or_n�" yn�# 176 " yn! 0>.��# 177 < history_local_save can
celed.� % error/c/c��# 180 $ file� , history_save.���# 181 5 History saved in '%s' $ file� ' sprintf� % flush/b�# 163y2 history_local_save,*�# 186 ! e+. 4 __get_exception_info�# 187�! e/.�# 189 , history_saveP�# 190! 1w/.�# 192 ( AnyError/.�# 194 $ beep
���# 195 : Unable to save history: %S ! e"' message� ' sprintf� % flush��# 196! 2� % sleep�# 197! 1w/./��# 184�4 save_history_at_exit��# 201 / _jed_exit_hooks}4 save_history_at_exit� + add_to_hook