/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/contract/es_contract_tool_panel.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/contract/es_contract_tool_panel.e

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

revision 94982 by jasonw, Fri Jun 7 15:28:53 2013 UTC revision 94983 by jasonw, Fri May 2 11:05:28 2014 UTC
# Line 709  feature {NONE} -- User interface manipul Line 709  feature {NONE} -- User interface manipul
709                                          end                                          end
710                                          add_from_template_menu.enable_sensitive                                          add_from_template_menu.enable_sensitive
711                                  else                                  else
712                                                    -- No templates were found in our delivery or in the user directory,
713                                                    -- we disable the menu entry.
714                                          add_from_template_menu.disable_sensitive                                          add_from_template_menu.disable_sensitive
                                         check corrupt_delivery: False end  
715                                  end                                  end
716                          else                          else
717                                  add_from_template_menu.disable_sensitive                                  add_from_template_menu.disable_sensitive
# Line 1587  invariant Line 1588  invariant
1588          contract_editor_attached: (is_initialized and is_interface_usable) implies contract_editor /= Void          contract_editor_attached: (is_initialized and is_interface_usable) implies contract_editor /= Void
1589    
1590  ;note  ;note
1591          copyright: "Copyright (c) 1984-2012, Eiffel Software"          copyright: "Copyright (c) 1984-2014, Eiffel Software"
1592          license:   "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:   "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
1593          licensing_options: "http://www.eiffel.com/licensing"          licensing_options: "http://www.eiffel.com/licensing"
1594          copying: "[          copying: "[

Legend:
Removed from v.94982  
changed lines
  Added in v.94983

  ViewVC Help
Powered by ViewVC 1.1.23