Commits · 4437dea4eb77809df4f547d605a776d66cbb47d4 · Michael Schwarz / CUP Eclipse Plugin

21 Jan, 2016 1 commit
- Fixed tooltip size problem: was zero whenever displayed on 2nd screen · 4437dea4
  Michael Schwarz authored Jan 21, 2016
  
  4437dea4
18 Jan, 2016 4 commits
- 4 way split to account for items that are irrelevant (i.e. (*) in front · feaf6b51
  Michael Schwarz authored Jan 18, 2016
```
of terminal but other terminal taken)
```
  feaf6b51
- Separate closure from core (and in there finished from non-finished) in · e317ef47
  Michael Schwarz authored Jan 18, 2016
```
tooltips for conflict trace
```
  e317ef47
- Renamed conflict graph to conflict trace · 9ad30549
  Michael Schwarz authored Jan 18, 2016
  
  9ad30549
- insert of precedence immediately before other prec (if declared) - · 8648d393
  Michael Schwarz authored Jan 18, 2016
```
thereby keeping comments etc as they are
```
  8648d393
17 Jan, 2016 1 commit
- insert precedence for conflicts that are isolated · a8f4125f
  Michael Schwarz authored Jan 17, 2016
  
  a8f4125f
14 Jan, 2016 1 commit
- apply button for resolution (blind atm) · 1444575f
  Michael Schwarz authored Jan 14, 2016
```
default selection in combo box
```
  1444575f
12 Jan, 2016 2 commits
- Check if inserting precs / assocs affects other conflicts as well and · 53a546d0
  Michael Schwarz authored Jan 12, 2016
```
display this to the user
```
  53a546d0
- Detect if both precedences are from same terminal and offer to insert · b53a2950
  Michael Schwarz authored Jan 12, 2016
```
assoc.
```
  b53a2950
13 Dec, 2015 2 commits
- Display right context of conflicting items in ConflictsView · f63e1f38
  Michael Schwarz authored Dec 13, 2015
  
  f63e1f38
- Replaced (*) with UTF-8 bullet character · 7e04d127
  Michael Schwarz authored Dec 13, 2015
  
  7e04d127
07 Oct, 2015 1 commit
- new improvement proposals · b6ddbaef
  Dr. Michael Petter authored Oct 07, 2015
  
  b6ddbaef
08 Dec, 2014 1 commit
- final changes, cleaning up conflict view, configuring Eclipse update site and migrating to new CUP · d6a7ba7d
  Administrator authored Dec 08, 2014
  
  d6a7ba7d
05 Dec, 2014 27 commits
- Merge branch 'master' of git@github.com:jroith/cup-eclipse.git · 096544bc
  Sebastian Pretscher authored Dec 05, 2014
  
  096544bc
- Removed old tooltip · 54d7a75c
  Sebastian Pretscher authored Dec 05, 2014
  
  54d7a75c
- Fix tooltips on e.g. Ubuntu. · 25b48128
  Johannes Roith authored Dec 05, 2014
  
  25b48128
- - Remove some dead code. · f4551f2b
  Johannes Roith authored Dec 05, 2014
```
- Fix update site.
```
  f4551f2b
- Merge branch 'master' of git@github.com:jroith/cup-eclipse.git · edf7b776
  Sebastian Pretscher authored Dec 05, 2014
  
  edf7b776
- Changed Tooltip layout method · 8f6d40fd
  Sebastian Pretscher authored Dec 05, 2014
  
  8f6d40fd
- Marker umbenannt · 2691d6d8
  Benedikt Engeser authored Dec 05, 2014
  
  2691d6d8
- fix. · 22d74367
  Johannes Roith authored Dec 05, 2014
  
  22d74367
- Merge branch 'master' of github.com:jroith/cup-eclipse · 6f1f8810
  Johannes Roith authored Dec 05, 2014
  
  6f1f8810
- Tooltips can't exceed screen size. · 8f3d1e1f
  Johannes Roith authored Dec 05, 2014
  
  8f3d1e1f
- tidyup · 345ab207
  Benedikt Engeser authored Dec 05, 2014
  
  345ab207
- Merge branch 'master' of git@github.com:jroith/cup-eclipse.git · df7f1fb3
  Benedikt Engeser authored Dec 05, 2014
  
  df7f1fb3
- s · 9a1d769c
  Benedikt Engeser authored Dec 05, 2014
  
  9a1d769c
- Merge branch 'master' of git@github.com:jroith/cup-eclipse.git · 4c26a9a1
  Sebastian Pretscher authored Dec 05, 2014
  
  4c26a9a1
- Tooltips for Conflict Graph · b4c025d5
  Sebastian Pretscher authored Dec 05, 2014
  
  b4c025d5
- Merge branch 'master' of git@github.com:jroith/cup-eclipse.git · d3d9926e
  Benedikt Engeser authored Dec 05, 2014
  
  d3d9926e
- ... · 328fe3d0
  Benedikt Engeser authored Dec 05, 2014
  
  328fe3d0
- _Attempt_ to fix height calculation in conflicts view. · 103d8f37
  Johannes Roith authored Dec 05, 2014
  
  103d8f37
- Merge branch 'master' of github.com:jroith/cup-eclipse · a34379e3
  Johannes Roith authored Dec 05, 2014
  
  a34379e3
- - Add base class for graph views · 98b1d56c
  Johannes Roith authored Dec 05, 2014
```
- Add new tooltips for Conflict Graph view
```
  98b1d56c
- minor bugfix · 99e9b26d
  Benedikt Engeser authored Dec 05, 2014
  
  99e9b26d
- Merge branch 'master' of github.com:jroith/cup-eclipse · 3b90872c
  Johannes Roith authored Dec 05, 2014
  
  3b90872c
- Bugfix when moving to a different state. · 27a9f6bd
  Johannes Roith authored Dec 05, 2014
  
  27a9f6bd
- dlimiter in autocomplete berücksichtigt · 1975089b
  Benedikt Engeser authored Dec 05, 2014
  
  1975089b
- - Tooltips stay at a fixed position. · 56847b62
  Johannes Roith authored Dec 05, 2014
```
- Scrolling
- Minor changes.
```
  56847b62
- Add nice bullets + debug text. · 17347851
  Johannes Roith authored Dec 05, 2014
  
  17347851
- Cleanup. · 86585b1c
  Johannes Roith authored Dec 05, 2014
  
  86585b1c