/[eiffelstudio]/trunk/Delivery/eifinit/studio/spec/windows/default.xml
ViewVC logotype

Diff of /trunk/Delivery/eifinit/studio/spec/windows/default.xml

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

revision 34271 by neilc, Sun Sep 1 22:20:15 2002 UTC revision 34272 by manus, Sun Sep 1 22:48:50 2002 UTC
# Line 35  Line 35 
35                          <TEXT DESCRIPTION="Indexing items that need not be included in formatted texts">excluded_indexing_items<LIST_STRING>revision;date;status</LIST_STRING></TEXT>                          <TEXT DESCRIPTION="Indexing items that need not be included in formatted texts">excluded_indexing_items<LIST_STRING>revision;date;status</LIST_STRING></TEXT>
36                          <TEXT DESCRIPTION="Class format that is selected by default">default_class_formatter_index<INTEGER>5</INTEGER></TEXT>                          <TEXT DESCRIPTION="Class format that is selected by default">default_class_formatter_index<INTEGER>5</INTEGER></TEXT>
37                          <TEXT DESCRIPTION="Feature format that is selected by default">default_feature_formatter_index<INTEGER>2</INTEGER></TEXT>                          <TEXT DESCRIPTION="Feature format that is selected by default">default_feature_formatter_index<INTEGER>2</INTEGER></TEXT>
38                          <TEXT DESCRIPTION="Receiver of control-right-click">ctrl_right_click_receiver<LIST_SELECTED_STRING>new_window;among editor; context;new_editor;new_context;external</LIST_SELECTED_STRING></TEXT>                          <TEXT DESCRIPTION="Receiver of control-right-click">ctrl_right_click_receiver<LIST_SELECTED_STRING>new_window;editor;context;new_editor;new_context;external</LIST_SELECTED_STRING></TEXT>
39                          <TEXT>formatters_history_size<INTEGER>60</INTEGER></TEXT>                          <TEXT>formatters_history_size<INTEGER>60</INTEGER></TEXT>
40                  </TOPIC>                  </TOPIC>
41                  <TOPIC TOPIC_ID="Editor" ICON="icon_preferences_folder">                  <TOPIC TOPIC_ID="Editor" ICON="icon_preferences_folder">

Legend:
Removed from v.34271  
changed lines
  Added in v.34272

  ViewVC Help
Powered by ViewVC 1.1.23