511556 – [GUI] Group EFM preferences

Bug 511556 - [GUI] Group EFM preferences

Summary: [GUI] Group EFM preferences

Status:	UNCONFIRMED

Alias:	None

Product:	EFM
Classification:	Modeling
Component:	modeling (show other bugs)
Version:	modeling-0.0.1
Hardware:	PC Windows 7

Importance:	P3 normal
Target Milestone:	---
Assignee:	Project Inbox
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2017-02-02 08:44 EST by Erwan Mahe
Modified:	2017-02-10 09:58 EST (History)
CC List:	2 users (show)

See Also:	Gerrit Change Git Commit Gerrit Change Git Commit

Attachments
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 Erwan Mahe

2017-02-02 08:44:06 EST

In Windows->Preferences, create a common root node : Eclipse Formal Modeling for :
* Symbolic Execution Workflow (from launchConfiguration plug-in)
* SEW (generated by Xtext)
* FormalML (generated by Xtext)

Comment 1 Eclipse Genie

2017-02-09 07:49:28 EST

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

Comment 2 Eclipse Genie

2017-02-09 08:02:25 EST

Gerrit change https://git.eclipse.org/r/90724 was merged to [master].
Commit: http://git.eclipse.org/c/efm/org.eclipse.efm-modeling.git/commit/?id=d1cca1fd278deb4822d15f0d8eea6f19e2fc694f

Comment 3 Eclipse Genie

2017-02-10 09:34:02 EST

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

Comment 4 Eclipse Genie

2017-02-10 09:58:21 EST

Gerrit change https://git.eclipse.org/r/90834 was merged to [master].
Commit: http://git.eclipse.org/c/efm/org.eclipse.efm-modeling.git/commit/?id=9bd26d3372ffd0184a07095cd92221a6bb692a33