eifops c526190ddc Merged changes for vision2 and triggering PnD from trunk ...

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2293 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

2021-02-11 18:32:36 +00:00

..

accelerator.png

…

accelerator.png.data

…

analyz.png

…

analyz.png.data

…

bilinear.png

…

bilinear.png.data

…

binary-tree.png

…

binary-tree.png.data

…

bmpview.png

…

bmpview.png.data

…

browse.png

…

browse.png.data

…

brushes.png

…

brushes.png.data

…

builder-window.png

…

builder-window.png.data

…

calculator.png

…

calculator.png.data

…

change-font-dialog.png

…

change-font-dialog.png.data

…

class-project-diagram-client.png

…

class-project-diagram-client.png.data

…

class-project-diagram.png

…

class-project-diagram.png.data

…

client-inheritance.png

…

client-inheritance.png.data

…

collaps.png

…

collaps.png.data

…

com-1.gif

…

com-1.gif.data

…

com-2.gif

…

com-2.gif.data

…

com-3.gif

…

com-3.gif.data

…

comctrls.png

…

comctrls.png.data

…

commands.png

…

commands.png.data

…

complete-project-diagram.png

…

complete-project-diagram.png.data

…

component-create-relation.png

…

component-create-relation.png.data

…

component-fields-relation.png

…

component-fields-relation.png.data

…

component-namer.png

…

component-namer.png.data

…

component-navigate-relation.png

…

component-navigate-relation.png.data

…

component-search-relation.png

…

component-search-relation.png.data

…

component-selector.png

…

component-selector.png.data

…

component-viewer.png

…

component-viewer.png.data

…

constant-in-use.png

…

constant-in-use.png.data

…

constants-dialog.png

…

constants-dialog.png.data

…

controls.png

…

controls.png.data

…

creator-provider-relation.png

…

creator-provider-relation.png.data

…

ctlcolor.png

…

ctlcolor.png.data

…

cursor-test.png

…

cursor-test.png.data

…

date-time-picker.png

…

date-time-picker.png.data

…

db-specific-tables-access-use.png

…

db-specific-tables-access-use.png.data

…

directory-search-small.png

…

directory-search-small.png.data

…

diskspace.png

…

diskspace.png.data

…

display-window.png

…

display-window.png.data

…

docked-external.png

…

docked-external.png.data

…

docking-insert.png

…

docking-insert.png.data

…

dotnet-samples--date-time-picker-change-color-dlg.png

…

dotnet-samples--date-time-picker-change-color-dlg.png.data

…

dv-choice-creator-fkeys-selection.png

…

dv-choice-creator-fkeys-selection.png.data

…

dv-table-component-strategy.png

…

dv-table-component-strategy.png.data

…

dv-tablerow-fields-design.png

…

dv-tablerow-fields-design.png.data

…

dv-tablerows-navigator-clients.png

…

dv-tablerows-navigator-clients.png.data

…

eb_type_selector.png

…

eb_type_selector.png.data

…

EiffelRibbon_application_01.png

…

EiffelRibbon_application_01.png.data

…

EiffelRibbon_Choosing_a_size_definition.png

…

EiffelRibbon_Choosing_a_size_definition.png.data

…

EiffelRibbon_design_tool_01.png

…

EiffelRibbon_design_tool_01.png.data

…

EiffelRibbon_design_tool_02_0.png

…

EiffelRibbon_design_tool_02_0.png.data

…

EiffelRibbon_scaling_policy_01.png

…

EiffelRibbon_scaling_policy_01.png.data

…

EiffelRibbon_scaling_policy_01a.png

…

EiffelRibbon_scaling_policy_01a.png.data

…

EiffelRibbon_scaling_policy_02.png

…

EiffelRibbon_scaling_policy_02.png.data

…

EiffelRibbon_scaling_policy_03.png

…

EiffelRibbon_scaling_policy_03.png.data

…

EiffelRibbon_scaling_policy_04.png

…

EiffelRibbon_scaling_policy_04.png.data

…

EiffelRibbon_scaling_policy_05.png

…

EiffelRibbon_scaling_policy_05.png.data

…

EiffelRibbon_size_definition_editor_01.png

…

EiffelRibbon_size_definition_editor_01.png.data

…

EiffelRibbon_size_definition_editor_02.png

…

EiffelRibbon_size_definition_editor_02.png.data

…

EiffelRibbon_size_definition_editor_03.png

…

EiffelRibbon_size_definition_editor_03.png.data

…

EiffelRibbon_window_01.png

…

EiffelRibbon_window_01.png.data

…

EiffelStudio_after_class_pick_and_drop2.png

…

EiffelStudio_after_class_pick_and_drop2.png.data

…

EiffelStudio_during_class_pick_and_drop2.png

…

EiffelStudio_during_class_pick_and_drop2.png.data

…

empty-radio-merge.png

…

empty-radio-merge.png.data

…

estore-generation.generator.png

…

estore-generation.generator.png.data

…

event-selection-dialog.png

…

event-selection-dialog.png.data

…

ex_cust_pref_dialog.png

…

ex_cust_pref_dialog.png.data

…

ex_pref_dialog.png

…

ex_pref_dialog.png.data

…

exception-raising.png

…

exception-raising.png.data

…

expand.png

…

expand.png.data

…

fig-1.gif

…

fig-1.gif.data

…

fig-2.gif

…

fig-2.gif.data

…

fig-3.gif

…

fig-3.gif.data

…

figure1.png

…

figure1.png.data

…

fixed-child-positioner.png

…

fixed-child-positioner.png.data

…

folders.png

…

folders.png.data

…

fontenum.png

…

fontenum.png.data

…

fun.png

…

fun.png.data

…

gauges.png

…

gauges.png.data

…

header-ctrl.png

…

header-ctrl.png.data

…

hello-world.png

…

hello-world.png.data

…

hello.png

…

hello.png.data

…

history-window.png

…

history-window.png.data

…

icon-builder-window-color.png

…

icon-builder-window-color.png.data

…

icon-clipboard-color.png

…

icon-clipboard-color.png.data

…

icon-cmd-history-color.png

…

icon-cmd-history-color.png.data

…

icon-code-generation-color.png

…

icon-code-generation-color.png.data

…

icon-component-build-view-color.png

…

icon-component-build-view-color.png.data

…

icon-component-display-view-color.png

…

icon-component-display-view-color.png.data

…

icon-component-viewer-color.png

…

icon-component-viewer-color.png.data

…

icon-copy-color.png

…

icon-copy-color.png.data

…

icon-cut-color.png

…

icon-cut-color.png.data

…

icon-delete-small-color.png

…

icon-delete-small-color.png.data

…

icon-display-window-color.png

…

icon-display-window-color.png.data

…

icon-expand-all-small-color.png

…

icon-expand-all-small-color.png.data

…

icon-format-onces-color.png

…

icon-format-onces-color.png.data

…

icon-new-cluster-small-color.png

…

icon-new-cluster-small-color.png.data

…

icon-object-editor-color.png

…

icon-object-editor-color.png.data

…

icon-past-color.png

…

icon-past-color.png.data

…

icon-redo-color.png

…

icon-redo-color.png.data

…

icon-save-color.png

…

icon-save-color.png.data

…

icon-show-hide-directory-color.png

…

icon-show-hide-directory-color.png.data

…

icon-system-color.png

…

icon-system-color.png.data

…

icon-titled-window-main-small-color.png

…

icon-titled-window-main-small-color.png.data

…

icon-undo-color.png

…

icon-undo-color.png.data

…

implemented-interface-server.png

…

implemented-interface-server.png.data

…

implemented-interface.png

…

implemented-interface.png.data

…

import-project-clashes.png

…

import-project-clashes.png.data

…

import-project.png

…

import-project.png.data

…

interface-inheritance-server.png

…

interface-inheritance-server.png.data

…

interface-inheritance.png

…

interface-inheritance.png.data

…

introduction.png

…

introduction.png.data

…

layout-constructor-locked.png

…

layout-constructor-locked.png.data

…

layout-constructor.png

…

layout-constructor.png.data

…

linear.png

…

linear.png.data

…

linked-list.png

…

linked-list.png.data

…

list-view.png

…

list-view.png.data

…

magnify.png

…

magnify.png.data

…

main-window-with-docked-tools.png

…

main-window-with-docked-tools.png.data

…

main-window.png

…

main-window.png.data

…

mdi--mdi.png

…

mdi--mdi.png.data

…

mdi.png

…

mdi.png.data

…

menu-contextuel.png

…

menu-contextuel.png.data

…

menu-principal.png

…

menu-principal.png.data

…

menus.png

…

menus.png.data

…

message-box.png

…

message-box.png.data

…

minimal.png

…

minimal.png.data

…

model-view-relationship.png

…

model-view-relationship.png.data

…

new-directory-dialog.png

…

new-directory-dialog.png.data

…

new-project.png

…

new-project.png.data

…

object_graph.png

…

object_graph.png.data

…

object-editor.png

…

object-editor.png.data

…

open-project.png

…

open-project.png.data

…

overwrite-project.png

…

overwrite-project.png.data

…

pixmap-selection-dialog.png

…

pixmap-selection-dialog.png.data

…

pizza.png

…

pizza.png.data

…

pref_dialog.png

…

pref_dialog.png.data

…

preferences-dialog.png

…

preferences-dialog.png.data

…

prepro.png

…

prepro.png.data

…

printer.png

…

printer.png.data

…

progress-bar.png

…

progress-bar.png.data

…

project-build-class.png

…

project-build-class.png.data

…

project-build.png

…

project-build.png.data

…

project-generation.png

…

project-generation.png.data

…

rb.png

…

rb.png.data

…

recent-projects.png

…

recent-projects.png.data

…

retriev.png

…

retriev.png.data

…

richedit.png

…

richedit.png.data

…

SCOOP_project_setting.png

…

SCOOP_project_setting.png.data

…

scoop-regions.png

…

scoop-regions.png.data

…

simple-data-binding.png

…

simple-data-binding.png.data

…

simple-hello-world.png

…

simple-hello-world.png.data

…

splitarea.png

…

splitarea.png.data

…

standard-dialogs.png

…

standard-dialogs.png.data

…

stddlgs.png

…

stddlgs.png.data

…

step1.png

…

step1.png.data

…

step2.png

…

step2.png.data

…

step3.png

…

step3.png.data

…

step4.png

…

step4.png.data

…

step5.png

…

step5.png.data

…

step6.png

…

step6.png.data

…

step7.png

…

step7.png.data

…

step8.png

…

step8.png.data

…

strings.png

…

strings.png.data

…

sub-component-objects.png

…

sub-component-objects.png.data

…

table-child-positioner.png

…

table-child-positioner.png.data

…

table-descr-access-objects.png

…

table-descr-access-objects.png.data

…

table-descr-objects.png

…

table-descr-objects.png.data

…

table-objects-associations.png

…

table-objects-associations.png.data

…

tables-access-inherit.png

…

tables-access-inherit.png.data

…

text.png

…

text.png.data

…

timer.png

…

timer.png.data

…

toolbar.png

…

toolbar.png.data

…

tree-view--tree-view.png

…

tree-view--tree-view.png.data

…

tree-view.png

…

tree-view.png.data

…

tree.png

…

tree.png.data

…

trigger_pnd_img0.png

…

trigger_pnd_img0.png.data

…

trigger_pnd_img1.png

…

trigger_pnd_img1.png.data

…

two-way-list.png

…

two-way-list.png.data

…

unicode.png

…

unicode.png.data

…

value-chart.PNG

…

value-chart.PNG.data

…

viewport.png

…

viewport.png.data

…

vision2--figure1.png

…

vision2--figure1.png.data

…

WEL_cursors_example_01.png

…

WEL_cursors_example_01.png.data

…

wel-check-box-3-state-checked.png

…

wel-check-box-3-state-checked.png.data

…

wel-check-box-3-state-indeterminate.png

…

wel-check-box-3-state-indeterminate.png.data

…

wel-check-box-3-state-unchecked.png

…

wel-check-box-3-state-unchecked.png.data

…

wel-check-box-checked.png

…

wel-check-box-checked.png.data

…

wel-check-box-unchecked.png

…

wel-check-box-unchecked.png.data

…

wel-choose-color-dialog.png

…

wel-choose-color-dialog.png.data

…

wel-choose-folder-dialog.png

…

wel-choose-folder-dialog.png.data

…

wel-choose-font-dialog.png

…

wel-choose-font-dialog.png.data

…

wel-group-box.png

…

wel-group-box.png.data

…

wel-list-view-style-lvs-icon.png

…

wel-list-view-style-lvs-icon.png.data

…

wel-list-view-style-lvs-list.png

…

wel-list-view-style-lvs-list.png.data

…

wel-list-view-style-lvs-report.png

…

wel-list-view-style-lvs-report.png.data

…

wel-list-view-style-lvs-small-icon.png

…

wel-list-view-style-lvs-small-icon.png.data

…

wel-multiple-line-edit.png

…

wel-multiple-line-edit.png.data

…

wel-multiple-selection-list-box.png

…

wel-multiple-selection-list-box.png.data

…

wel-open-file-dialog.png

…

wel-open-file-dialog.png.data

…

wel-print-dialog.png

…

wel-print-dialog.png.data

…

wel-progress-bar-half.png

…

wel-progress-bar-half.png.data

…

wel-push-button.png

…

wel-push-button.png.data

…

wel-radio-button-checked.png

…

wel-radio-button-checked.png.data

…

wel-radio-button-unchecked.png

…

wel-radio-button-unchecked.png.data

…

wel-save-file-dialog.png

…

wel-save-file-dialog.png.data

…

wel-scroll-bar-horizontal.png

…

wel-scroll-bar-horizontal.png.data

…

wel-scroll-bar-vertical.png

…

wel-scroll-bar-vertical.png.data

…

wel-single-line-edit.png

…

wel-single-line-edit.png.data

…

wel-single-selection-list-box.png

…

wel-single-selection-list-box.png.data

…

wel-tooltip.png

…

wel-tooltip.png.data

…

wel-track-bar-horizontal.png

…

wel-track-bar-horizontal.png.data

…

wel-track-bar-vertical.png

…

wel-track-bar-vertical.png.data

…

wel-up-down-control.png

…

wel-up-down-control.png.data

…

widget_sample.png

…

widget_sample.png.data

…

widget-selector-clients.PNG

…

widget-selector-clients.PNG.data

…

window-selector.png

…

window-selector.png.data

…

windows.png

…

windows.png.data

…

xcell.png

…

xcell.png.data

…

xy.png

…

xy.png.data

…