/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e

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

revision 37686 by julieng, Wed Jun 11 23:36:50 2003 UTC revision 38124 by manus, Mon Jul 21 19:16:52 2003 UTC
# Line 1609  feature -- Menu Building Line 1609  feature -- Menu Building
1609                                  tools_menu.extend (command_menu_item)                                  tools_menu.extend (command_menu_item)
1610                          end                          end
1611    
1612                          if debugger_manager.display_dotnet_cmd then                            if debugger_manager.display_dotnet_cmd then
1613                                          -- Import .Net Assembly                                            -- Import .Net Assembly
1614                                  command_menu_item := eac_browser_cmd.new_menu_item                                    command_menu_item := eac_browser_cmd.new_menu_item
1615                                  add_recyclable (command_menu_item)                                    add_recyclable (command_menu_item)
1616                                  tools_menu.extend (command_menu_item)                                    tools_menu.extend (command_menu_item)
1617              end                          end
1618    
1619                                  -- Separator -------------------------------------------------                                  -- Separator -------------------------------------------------
1620                          tools_menu.extend (create {EV_MENU_SEPARATOR})                          tools_menu.extend (create {EV_MENU_SEPARATOR})
# Line 2381  feature {NONE} -- Implementation Line 2381  feature {NONE} -- Implementation
2381                                  end                                  end
2382                                          -- Update the address manager if needed.                                          -- Update the address manager if needed.
2383                                  address_manager.refresh                                  address_manager.refresh
2384                                  if                                  if new_class_stone /= Void then
2385                                          new_class_stone /= Void                                                  -- class stone was dropped
                                 then  
                                         -- class stone was dropped  
2386                                          create class_file.make (new_class_stone.class_i.file_name)                                          create class_file.make (new_class_stone.class_i.file_name)
2387                                          class_text_exists := class_file.exists                                          class_text_exists := class_file.exists
2388                                          feature_stone ?= a_stone                                          feature_stone ?= a_stone
# Line 2444  feature {NONE} -- Implementation Line 2442  feature {NONE} -- Implementation
2442                                                          end                                                          end
2443                                                  else                                                  else
2444                                                          editor_tool.text_area.clear_window                                                          editor_tool.text_area.clear_window
2445                                                          editor_tool.text_area.display_message (Warning_messages.w_file_not_exist (new_class_stone.class_i.file_name))                                                          editor_tool.text_area.display_message (
2446                                                                    Warning_messages.w_file_not_exist (
2447                                                                            new_class_stone.class_i.file_name))
2448                                                  end                                                  end
2449                                          end                                          end
2450                                          if conv_classc = Void then                                          if conv_classc = Void then
# Line 2679  feature {NONE} -- Implementation Line 2679  feature {NONE} -- Implementation
2679                                                    
2680                          if type_changed then                          if type_changed then
2681                                          -- Toggle stone flag.                                          -- Toggle stone flag.
2682                  is_stone_external := not is_stone_external                                  is_stone_external := not is_stone_external
2683              end                          end
2684    
2685                          if cst /= Void then                          if cst /= Void then
2686                                  address_manager.enable_formatters                                  address_manager.enable_formatters
2687                                  if is_stone_external then                                  if is_stone_external then
2688                                          -- Change formatters to .NET sensitivity (from normal).                                                  -- Change formatters to .NET sensitivity (from normal).
2689                                          enable_dotnet_formatters                                          enable_dotnet_formatters
2690                                          if type_changed then                                          if type_changed then
2691                                                  managed_main_formatters.i_th (4).enable_select                                                  managed_main_formatters.i_th (4).enable_select
2692                                          end                                          end
2693                                  else                                  else
2694                                          if changed then                                                                          if changed then
2695                          address_manager.disable_formatters                                                  address_manager.disable_formatters
2696                          else                                          else
2697                                  --managed_main_formatters.first.disable_sensitive                                                  --managed_main_formatters.first.disable_sensitive
2698                                  end                                          end
2699                                  end                                  end
2700                          elseif cist /= Void and is_stone_external then                          elseif cist /= Void and is_stone_external then
2701                                          -- Change formatters to .NET sensitivity (from normal).                                          -- Change formatters to .NET sensitivity (from normal).
2702                                          enable_dotnet_formatters                                  enable_dotnet_formatters
2703                                          if type_changed then                                  if type_changed then
2704                                                  managed_main_formatters.i_th (4).enable_select                                          managed_main_formatters.i_th (4).enable_select
2705                                          end                                  end
2706                          else                                              else
2707                                  address_manager.disable_formatters                                  address_manager.disable_formatters
2708                                  managed_main_formatters.first.execute                                  if cist /= stone then
2709                                            managed_main_formatters.first.execute
2710                                    end
2711                          end                          end
2712                  end                  end
2713    

Legend:
Removed from v.37686  
changed lines
  Added in v.38124

  ViewVC Help
Powered by ViewVC 1.1.23