/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/API/constants/eiffel_env.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/API/constants/eiffel_env.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 62170 by manus, Sun Jul 30 06:30:59 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 146  feature -- Access: environment variable Line 146  feature -- Access: environment variable
146          short_studio_name: STRING is "studio"          short_studio_name: STRING is "studio"
147                          -- Short version of EiffelStudio name.                          -- Short version of EiffelStudio name.
148    
149            docking_data_name: STRING is
150                            -- Docking config data folder name
151                    once
152                            if not is_workbench then
153                                    Result := "docking"
154                            else
155                                    Result := "docking_wb"
156                            end
157                    end
158    
159  feature -- Access: file name  feature -- Access: file name
160    
161          Eiffel_preferences: STRING is          Eiffel_preferences: STRING is
# Line 381  feature -- Access: file name Line 391  feature -- Access: file name
391                          Result.append ("EiffelSoftware.Runtime.dll")                          Result.append ("EiffelSoftware.Runtime.dll")
392                  end                  end
393    
394            docking_standard_layout_path: FILE_NAME is
395                            -- Path of standard docking layout.
396                    local
397                            l_dir: DIRECTORY
398                    do
399                            create Result.make_from_string (eiffel_home)
400                            Result.extend_from_array (<<docking_data_name>>)
401    
402                            create l_dir.make (Result)
403                            if not l_dir.exists then
404                                    l_dir.create_dir
405                                    if not l_dir.is_closed then
406                                            l_dir.close
407                                    end
408                            end
409                    ensure
410                            folder_exist: (create {DIRECTORY}.make (Result)).exists
411                    end
412    
413  feature -- Access: command name  feature -- Access: command name
414    
415          Freeze_command_name: FILE_NAME is          Freeze_command_name: FILE_NAME is

Legend:
Removed from v.62170  
changed lines
  Added in v.62171

  ViewVC Help
Powered by ViewVC 1.1.23