510040 – Provide a proper Eclipse editor for .aird files with direct access to session operations

Bug 510040 - Provide a proper Eclipse editor for .aird files with direct access to session operations

Summary: Provide a proper Eclipse editor for .aird files with direct access to session...

Status:	CLOSED FIXED

Alias:	None

Product:	Sirius
Classification:	Modeling
Component:	Core (show other bugs)
Version:	4.1.0
Hardware:	All All

Importance:	P3 enhancement (vote)
Target Milestone:	5.0.0
Assignee:	Pierre-Charles David
QA Contact:

URL:
Whiteboard:
Keywords:	triaged

Depends on:
Blocks:

Reported:	2017-01-06 09:15 EST by Pierre-Charles David
Modified:	2017-11-27 14:05 EST (History)
CC List:	3 users (show)

See Also:	Gerrit Change Gerrit Change Git Commit Gerrit Change Gerrit Change Git Commit Gerrit Change Git Commit Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Git Commit Gerrit Change Git Commit Git Commit Gerrit Change Git Commit Gerrit Change Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Git Commit Gerrit Change Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Git Commit Git Commit Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Git Commit Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Git Commit Gerrit Change Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Git Commit Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Gerrit Change Gerrit Change Git Commit Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Git Commit Gerrit Change Git Commit Git Commit Gerrit Change Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Git Commit Git Commit Gerrit Change Gerrit Change Gerrit Change Git Commit Git Commit Gerrit Change Git Commit 521367 Gerrit Change Git Commit

Attachments
Rough mockup (90.01 KB, image/png) 2017-01-06 09:41 EST, Pierre-Charles David	no flags	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Pierre-Charles David

2017-01-06 09:15:14 EST

The default workflow associated with a Sirius session is non standard, with most important features (session opening/closing associated "magically" with project opening/closing, viewpoint selection and representation creation only available in context menus, etc.) not easily discoverable in the UI. In addition, because these operations are tied to the Model Explorer/Modeling perspecitve, many of them are not available or do not work as expected in other perspectives.

The goal of this ticket is to provide a proper Eclipse editor associated to the .aird files that will be available from everywhere and that will offer direct access to most general session-level operations. Details will be specified later, but to give an idea of the kind of operations I'm thinking of:
* Viewpoint selection: an embedded version of the Viewpoint Selection Dialog UI.
* Semantic model browsing: an embedded version of the semantic model, as visible currently in the Model Explorer.
* Semantic model management (add/remove/control/uncontrol semantic resources).
* Representation creation, deletion, renaming, fragmentation.

The editor should be a multi-page form-like editor. The first iteration will implement a single hard-coded page with the kind of information and operations listed above, but the goal is to make it extensible in various ways after that. This extensibility, while it should be taken into account in the architecture of the first iteration, is not in the scope of this particular ticket.

Comment 1 Pierre-Charles David

2017-01-06 09:41:44 EST

Created attachment 266162 [details]
Rough mockup

This is not to be taken as a specification, but only a rough mockup to give an more concrete idea of the UI that could be provided.

Comment 2 Eclipse Genie

2017-01-09 05:23:46 EST

New Gerrit change created: https://git.eclipse.org/r/88258

Comment 3 Pierre-Charles David

2017-01-09 05:35:33 EST

Some code pointers:
* org.eclipse.ui.forms.editor.FormEditor or org.eclipse.ui.forms.editor.SharedHeaderFormEditor should probably be used as base class
* org.eclipse.sirius.ui.tools.api.wizards.page.ViewpointsSelectionWizardPage already contains some code to display viewpoints and their rendered documentation in a way similar to what is visible on the mockup (top-left element)
* SiriusCommonContentProvider, SiriusCommonLabelProvider and other classes in the org.eclipse.sirius.ui.tools.internal.views.common.navigator (and neighbours) are the ones used in the "Model Explorer" view. The same code should be used in the various tree viewers in the form editor. See org.eclipse.ui.navigator.CommonViewer for the CNF class which makes use of them and takes all extension points/configuration options properly into account.

Comment 4 Pierre-Charles David

2017-01-09 05:44:32 EST

Not that currently, the org.eclipse.sirius.ui plug-in defines a default editor for "*.aird" files, which is just a plain text editor: https://git.eclipse.org/c/sirius/org.eclipse.sirius.git/tree/plugins/org.eclipse.sirius.ui/plugin.xml#n557

The plain text editor should probably be made non-default, while the new, optional (for now) form-based editor will be set as the default. When the new plug-in is not present, it should not have any impact (only the basic text editor is present, so default or non-default should have the same behavior). When the new plug-in is installed, it's editor will take precedence over the text-based one.

Comment 5 Pierre-Charles David

2017-01-09 05:45:54 EST

(In reply to Pierre-Charles David from comment #1)
> Created attachment 266162 [details]
> Rough mockup
> 
> This is not to be taken as a specification, but only a rough mockup to give
> an more concrete idea of the UI that could be provided.

The "Reresentations" block should probably have the same kind of search/filter field as the semantic Models block.

Comment 6 Pierre-Charles David

2017-01-09 06:07:38 EST

We'll probably need a proper specification document, but for now I'm putting my raw ideas/comments here.

One aspect that will need clarification is how the lifecycle of the editor is tied to the sesssion's.
* When using a "Modeling Project", if the user has access to the .aird file, it means the project has been opened/expanded, and so the Sirius session is already opened.
* When not using a "Modeling Project", or when not in the "Modeling" perspective, the user can double-click/select open on the aird while the session may not already be opened. In that case the editor should open the session (in a non-blocking way) if it is not already.
* When closing the editor, we should probably not close the session (opening a session can be a costly operation). The leaves a kind of "leak", with no obvious hint to the user that potentially large models are still loaded in memory. From the user's point of view, opening and then closing an editor should understandably leave the system in the same state as before. This problem is not new or specific to this ticket however, it is already present in the asymetry between: automatic loading of a session when expanding a modeling project, but no automatic closing when the project is collapsed (one needs to explictly close the project to close the session and release the resources).

Comment 7 Eclipse Genie

2017-01-11 08:41:39 EST

New Gerrit change created: https://git.eclipse.org/r/88462

Comment 8 Eclipse Genie

2017-02-28 08:16:06 EST

Gerrit change https://git.eclipse.org/r/88258 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=5f411e898b9d9e7ca41bdc739c7ad76e3c6a5692

Comment 9 Eclipse Genie

2017-02-28 12:13:06 EST

New Gerrit change created: https://git.eclipse.org/r/92031

Comment 10 Eclipse Genie

2017-03-01 12:18:01 EST

New Gerrit change created: https://git.eclipse.org/r/92110

Comment 11 Eclipse Genie

2017-03-02 04:33:56 EST

Gerrit change https://git.eclipse.org/r/88462 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=7cf115c58d48e0367f5ee78cbd090aecb06816eb

Comment 12 Eclipse Genie

2017-03-07 04:47:21 EST

New Gerrit change created: https://git.eclipse.org/r/92462

Comment 13 Eclipse Genie

2017-03-07 11:39:07 EST

Gerrit change https://git.eclipse.org/r/92031 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=6a72b809cd202ce61367f95cf414cb2bb9018e20

Comment 14 Eclipse Genie

2017-03-08 11:57:21 EST

New Gerrit change created: https://git.eclipse.org/r/92634

Comment 15 Eclipse Genie

2017-03-09 10:47:57 EST

New Gerrit change created: https://git.eclipse.org/r/92706

Comment 16 Eclipse Genie

2017-03-10 10:44:55 EST

New Gerrit change created: https://git.eclipse.org/r/92788

Comment 17 Eclipse Genie

2017-03-13 04:47:35 EDT

New Gerrit change created: https://git.eclipse.org/r/92878

Comment 18 Eclipse Genie

2017-03-13 09:49:31 EDT

New Gerrit change created: https://git.eclipse.org/r/92925

Comment 19 Eclipse Genie

2017-03-13 09:49:33 EDT

New Gerrit change created: https://git.eclipse.org/r/92924

Comment 20 Eclipse Genie

2017-03-13 10:29:15 EDT

Gerrit change https://git.eclipse.org/r/92925 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=d2847e38a0e1c65a56836665aa7a07f8b24746f7

Comment 21 Eclipse Genie

2017-03-13 10:36:11 EDT

New Gerrit change created: https://git.eclipse.org/r/92932

Comment 22 Eclipse Genie

2017-03-13 10:37:33 EDT

Gerrit change https://git.eclipse.org/r/92932 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=619d8153212a6dc3233431eb853cb37bdee4bd96

Comment 23 Eclipse Genie

2017-03-13 10:37:35 EDT

Gerrit change https://git.eclipse.org/r/92878 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=9fc142262f15db0103848ea2818267f72a6f488f

Comment 24 Eclipse Genie

2017-03-14 06:29:21 EDT

New Gerrit change created: https://git.eclipse.org/r/93006

Comment 25 Eclipse Genie

2017-03-14 07:53:38 EDT

Gerrit change https://git.eclipse.org/r/93006 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=fe76e549c89759bfaa98323744237801af71eaa6

Comment 26 Eclipse Genie

2017-03-14 10:40:25 EDT

New Gerrit change created: https://git.eclipse.org/r/93027

Comment 27 Eclipse Genie

2017-03-14 11:07:57 EDT

Gerrit change https://git.eclipse.org/r/93027 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=63398f338c5044c52d84a0c26735488c92571626

Comment 28 Eclipse Genie

2017-03-14 12:19:21 EDT

New Gerrit change created: https://git.eclipse.org/r/93038

Comment 29 Eclipse Genie

2017-03-14 13:03:46 EDT

New Gerrit change created: https://git.eclipse.org/r/93048

Comment 30 Eclipse Genie

2017-03-15 03:57:43 EDT

Gerrit change https://git.eclipse.org/r/93048 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=efe352e9f681fa42be028fa23d4149b952686647

Comment 31 Eclipse Genie

2017-03-15 03:57:46 EDT

Gerrit change https://git.eclipse.org/r/93038 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=8baa48bf610c239b10c1e7566919933adc7e141b

Comment 32 Eclipse Genie

2017-03-15 04:56:20 EDT

New Gerrit change created: https://git.eclipse.org/r/93091

Comment 33 Eclipse Genie

2017-03-15 05:16:59 EDT

Gerrit change https://git.eclipse.org/r/93091 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=1458b8a4ff92aa6cf832b1cf74999dc4a57cc095

Comment 34 Eclipse Genie

2017-04-10 05:58:56 EDT

New Gerrit change created: https://git.eclipse.org/r/94740

Comment 35 Eclipse Genie

2017-04-11 08:47:22 EDT

Gerrit change https://git.eclipse.org/r/94740 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=e12702ba730cbf1995caec20b73725d4ddf9bc4c

Comment 36 Eclipse Genie

2017-04-14 08:09:59 EDT

New Gerrit change created: https://git.eclipse.org/r/95059

Comment 37 Eclipse Genie

2017-04-14 09:14:56 EDT

New Gerrit change created: https://git.eclipse.org/r/95067

Comment 38 Eclipse Genie

2017-04-24 04:29:06 EDT

Gerrit change https://git.eclipse.org/r/95067 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=f031bb11f67fdd68cb345e3c99ff2b830814f0bf

Comment 39 Eclipse Genie

2017-04-24 04:29:07 EDT

Gerrit change https://git.eclipse.org/r/95059 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=91f571730ceeaa8364683e3267cac8e7226580fc

Comment 40 Eclipse Genie

2017-04-25 10:58:01 EDT

New Gerrit change created: https://git.eclipse.org/r/95703

Comment 41 Eclipse Genie

2017-04-27 10:08:29 EDT

New Gerrit change created: https://git.eclipse.org/r/95914

Comment 42 Eclipse Genie

2017-05-02 08:10:59 EDT

New Gerrit change created: https://git.eclipse.org/r/96155

Comment 43 Eclipse Genie

2017-05-02 11:26:56 EDT

New Gerrit change created: https://git.eclipse.org/r/96181

Comment 44 Eclipse Genie

2017-05-12 03:30:39 EDT

New Gerrit change created: https://git.eclipse.org/r/96923

Comment 45 Eclipse Genie

2017-05-12 03:30:41 EDT

New Gerrit change created: https://git.eclipse.org/r/96922

Comment 46 Eclipse Genie

2017-05-12 03:30:43 EDT

New Gerrit change created: https://git.eclipse.org/r/96924

Comment 47 Eclipse Genie

2017-05-12 04:22:55 EDT

Gerrit change https://git.eclipse.org/r/96181 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=21b1781c67acb21a36ba7c1e3e952fe418b3294a

Comment 48 Eclipse Genie

2017-05-12 04:22:57 EDT

Gerrit change https://git.eclipse.org/r/95703 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=2f9dce8a5e55824b78c6e62245b8188f75bd2c26

Comment 49 Eclipse Genie

2017-05-12 04:23:00 EDT

Gerrit change https://git.eclipse.org/r/95914 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=1ba3983edf6318dbe55f5924dee0100be2260f37

Comment 50 Eclipse Genie

2017-05-12 04:23:03 EDT

Gerrit change https://git.eclipse.org/r/96155 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=d627a965244a5251350b87d48cb7f6046f2450d9

Comment 51 Eclipse Genie

2017-05-12 05:59:02 EDT

Gerrit change https://git.eclipse.org/r/95338 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=49e90e41c624607ceb34c1b40cda7a61de6bf412

Comment 52 Eclipse Genie

2017-05-12 10:53:02 EDT

New Gerrit change created: https://git.eclipse.org/r/96959

Comment 53 Eclipse Genie

2017-05-15 03:40:45 EDT

New Gerrit change created: https://git.eclipse.org/r/97043

Comment 54 Eclipse Genie

2017-05-15 08:30:26 EDT

Gerrit change https://git.eclipse.org/r/96922 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=1b7abc07d81cd29c301e9c0dab6a43e2f7ca32ee

Comment 55 Eclipse Genie

2017-05-15 09:36:30 EDT

Gerrit change https://git.eclipse.org/r/96923 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=b394b980af7005be3621fb9be735192d48ac336d

Comment 56 Eclipse Genie

2017-05-15 09:36:54 EDT

Gerrit change https://git.eclipse.org/r/96924 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=15e804f4c471870f52c69d2c3da2a04f47c43058

Comment 57 Eclipse Genie

2017-05-15 09:37:28 EDT

Gerrit change https://git.eclipse.org/r/97043 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=823d475c647e496172d762fc6bd9670036bf8586

Comment 58 Eclipse Genie

2017-05-15 11:33:58 EDT

New Gerrit change created: https://git.eclipse.org/r/97121

Comment 59 Eclipse Genie

2017-05-15 11:34:00 EDT

New Gerrit change created: https://git.eclipse.org/r/97120

Comment 60 Eclipse Genie

2017-05-15 11:37:22 EDT

Gerrit change https://git.eclipse.org/r/97120 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=997f1dfd19a66459046b794ce5edc84cec9c5c9f

Comment 61 Eclipse Genie

2017-05-15 11:37:24 EDT

Gerrit change https://git.eclipse.org/r/97121 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=3decfc3af016ef0d15134b666208c732dc399a23

Comment 62 Eclipse Genie

2017-05-15 11:59:49 EDT

New Gerrit change created: https://git.eclipse.org/r/97125

Comment 63 Eclipse Genie

2017-05-16 02:49:15 EDT

Gerrit change https://git.eclipse.org/r/97125 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=17320b9a3071093953d8dca64caf9c44d77bb7ed

Comment 64 Eclipse Genie

2017-05-16 05:35:54 EDT

New Gerrit change created: https://git.eclipse.org/r/97199

Comment 65 Eclipse Genie

2017-05-16 08:21:41 EDT

Gerrit change https://git.eclipse.org/r/97199 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=c607b6aa0ec8491e3f8fdc1d621c513b86797e2d

Comment 66 Eclipse Genie

2017-05-16 09:17:08 EDT

New Gerrit change created: https://git.eclipse.org/r/97230

Comment 67 Eclipse Genie

2017-05-16 10:32:57 EDT

New Gerrit change created: https://git.eclipse.org/r/97243

Comment 68 Eclipse Genie

2017-05-16 10:37:30 EDT

Gerrit change https://git.eclipse.org/r/97230 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=a7ce1c4f76e4ee97d8642eb4bb2ec891dceea53f

Comment 69 Eclipse Genie

2017-05-16 10:56:35 EDT

Gerrit change https://git.eclipse.org/r/97243 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=8cec6b4409d94a4d2653408dda879365c40da407

Comment 70 Eclipse Genie

2017-05-16 10:59:59 EDT

Gerrit change https://git.eclipse.org/r/96959 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=f5caa3bbb1a271a36be0463adde1fc2d959ab256

Comment 71 Eclipse Genie

2017-05-17 09:39:22 EDT

New Gerrit change created: https://git.eclipse.org/r/97336

Comment 72 Eclipse Genie

2017-05-18 09:06:37 EDT

New Gerrit change created: https://git.eclipse.org/r/97440

Comment 73 Eclipse Genie

2017-05-18 10:04:34 EDT

Gerrit change https://git.eclipse.org/r/97336 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=85a8e052f9f8c165c1ade6c7ca971b89fd25967a

Comment 74 Eclipse Genie

2017-05-18 10:04:46 EDT

Gerrit change https://git.eclipse.org/r/97440 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=bbd3df2939b11f983a1af5e22b966b8868d10452

Comment 75 Eclipse Genie

2017-05-18 12:11:45 EDT

New Gerrit change created: https://git.eclipse.org/r/97471

Comment 76 Eclipse Genie

2017-05-19 12:09:13 EDT

New Gerrit change created: https://git.eclipse.org/r/97591

Comment 77 Eclipse Genie

2017-05-23 03:49:37 EDT

New Gerrit change created: https://git.eclipse.org/r/97733

Comment 78 Eclipse Genie

2017-05-24 03:42:47 EDT

Gerrit change https://git.eclipse.org/r/97733 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=bcdf84db921091e20e35308f1ed3451f8fc7c362

Comment 79 Eclipse Genie

2017-05-24 05:51:51 EDT

New Gerrit change created: https://git.eclipse.org/r/97832

Comment 80 Eclipse Genie

2017-05-30 10:49:18 EDT

New Gerrit change created: https://git.eclipse.org/r/98232

Comment 81 Eclipse Genie

2017-05-30 10:49:23 EDT

New Gerrit change created: https://git.eclipse.org/r/98233

Comment 82 Eclipse Genie

2017-05-30 11:15:34 EDT

Gerrit change https://git.eclipse.org/r/98233 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=17f118e8abf017cc0e34ec7b13b1ecb22b6be5f1

Comment 83 Eclipse Genie

2017-05-30 11:15:38 EDT

Gerrit change https://git.eclipse.org/r/98232 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=77fb9715d379ad2d358b831360620883fbbfa0d6

Comment 84 Eclipse Genie

2017-05-30 12:32:04 EDT

New Gerrit change created: https://git.eclipse.org/r/98244

Comment 85 Eclipse Genie

2017-05-31 03:32:48 EDT

Gerrit change https://git.eclipse.org/r/97832 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=4ef71263c274158af80275b6a94bfe781cd77c2c

Comment 86 Eclipse Genie

2017-06-06 03:35:56 EDT

New Gerrit change created: https://git.eclipse.org/r/98677

Comment 87 Eclipse Genie

2017-06-06 08:18:06 EDT

Gerrit change https://git.eclipse.org/r/98677 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=af5736c051fda60129df5aa067ba515e022a7d01

Comment 88 Eclipse Genie

2017-06-06 10:45:45 EDT

Gerrit change https://git.eclipse.org/r/97591 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=8c82250232a613fb5033c35ce967f9c21f3c48e6

Comment 89 Eclipse Genie

2017-06-07 05:13:21 EDT

New Gerrit change created: https://git.eclipse.org/r/98766

Comment 90 Eclipse Genie

2017-06-07 05:15:55 EDT

New Gerrit change created: https://git.eclipse.org/r/98768

Comment 91 Eclipse Genie

2017-06-07 08:16:43 EDT

New Gerrit change created: https://git.eclipse.org/r/98787

Comment 92 Eclipse Genie

2017-06-07 09:01:49 EDT

New Gerrit change created: https://git.eclipse.org/r/98797

Comment 93 Eclipse Genie

2017-06-07 09:15:42 EDT

Gerrit change https://git.eclipse.org/r/98768 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=5c9d7f3a8635d183ac54b8fd403a8a4d2918c3e1

Comment 94 Eclipse Genie

2017-06-07 09:15:44 EDT

Gerrit change https://git.eclipse.org/r/98787 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=0bb1aee305b5699a45d4be3fadff10c16012551e

Comment 95 Eclipse Genie

2017-06-07 09:15:45 EDT

Gerrit change https://git.eclipse.org/r/98797 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=d8b4407fd9cf5897cf57c4627c5beae63013e0fa

Comment 96 Eclipse Genie

2017-06-07 09:15:47 EDT

Gerrit change https://git.eclipse.org/r/98766 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=f133c662465a9fc9a6522e39ab861b0a1b24c995

Comment 97 Eclipse Genie

2017-06-07 11:50:28 EDT

New Gerrit change created: https://git.eclipse.org/r/98823

Comment 98 Eclipse Genie

2017-06-09 11:51:09 EDT

New Gerrit change created: https://git.eclipse.org/r/99037

Comment 99 Eclipse Genie

2017-06-13 04:13:24 EDT

New Gerrit change created: https://git.eclipse.org/r/99201

Comment 100 Eclipse Genie

2017-06-13 04:59:30 EDT

Gerrit change https://git.eclipse.org/r/99201 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=79983b798fcad978fbdba2a0aaff4657d83649a3

Comment 101 Eclipse Genie

2017-06-13 05:34:53 EDT

Gerrit change https://git.eclipse.org/r/98244 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=9818495919edc4ea0b70921219f0353b1a96328b

Comment 102 Pierre-Charles David

2017-06-13 05:36:24 EDT

We're done here. Remaingin bugfixes and enhancements will be treated in separate tickets for future versions.

Comment 103 Eclipse Genie

2017-06-16 09:44:49 EDT

New Gerrit change created: https://git.eclipse.org/r/99500

Comment 104 Eclipse Genie

2017-06-21 12:03:45 EDT

Gerrit change https://git.eclipse.org/r/99500 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=ccca0ee47c478d60e7b7615c7239b00e181b38e6

Comment 105 Pierre-Charles David

2017-06-29 03:31:35 EDT

Available in Sirius 5.0.0, see https://wiki.eclipse.org/Sirius/5.0.0 for details.

Comment 106 Eclipse Genie

2017-11-10 10:17:36 EST

New Gerrit change created: https://git.eclipse.org/r/111392

Comment 107 Eclipse Genie

2017-11-27 14:05:12 EST

Gerrit change https://git.eclipse.org/r/111392 was merged to [master].
Commit: http://git.eclipse.org/c/sirius/org.eclipse.sirius.git/commit/?id=cc8926e1b2c5d0a14fa643de4db0e821179cdf87