equal
deleted
inserted
replaced
5909 "Modified: / 18.9.1997 / 18:22:30 / stefan" |
5909 "Modified: / 18.9.1997 / 18:22:30 / stefan" |
5910 "Modified: / 27.4.1999 / 17:10:14 / cg" |
5910 "Modified: / 27.4.1999 / 17:10:14 / cg" |
5911 ! |
5911 ! |
5912 |
5912 |
5913 doChangeToDefaultDirectory |
5913 doChangeToDefaultDirectory |
5914 "go to parent directory" |
5914 "go to the default (= current) directory" |
5915 |
5915 |
5916 self doChangeCurrentDirectoryTo:(Filename currentDirectory pathName) updateHistory:true |
5916 self doChangeCurrentDirectoryTo:(Filename currentDirectory pathName) updateHistory:true |
5917 |
5917 |
5918 "Created: 21.9.1997 / 23:45:59 / cg" |
5918 "Created: / 21-09-1997 / 23:45:59 / cg" |
|
5919 "Modified (comment): / 10-04-2019 / 05:56:51 / Claus Gittinger" |
5919 ! |
5920 ! |
5920 |
5921 |
5921 doChangeToHomeDirectory |
5922 doChangeToHomeDirectory |
5922 "go to home directory" |
5923 "go to home directory" |
5923 |
5924 |