-
Notifications
You must be signed in to change notification settings - Fork 77
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
mpsutil: Added actions for Editor text zoom; added getConcept() to Pa…
…tternType; icon, dependency, and build model cleanup. The solution com.mbeddr.mpsutil.genericactions (bad name, couldn't think of a better one) contains actions for Increase/Decrease/Reset MPS Editor font size. You may want to bind them to Ctrl++ / Ctrl+- / Ctrl+0. The language com.mbeddr.mpsutil.pattern now provides a getConcept() method for the PatternType, so we may query the concept of the used pattern. Cleaned up dependencies of com.mbeddr.mpsutil.lantest and similar, especially removing the circular self-dependency leading to annoying messages on the console all the time. Fixed the warning in com.mbeddr.platform build model. Restructured this build model into several MPS groups, similar to the virtual folders in the corresponding project. Fixed lots of icon sizes and transparency issues in com.mbeddr.doc.*, com.mbeddr.core.base, and com.mbeddr.analyses.cbmc.* to avoid graphical glitches and annoying messages on the console all the time.
- Loading branch information
Niko Stotz
committed
Jan 24, 2016
1 parent
b0ea042
commit 23dc17c
Showing
33 changed files
with
5,743 additions
and
4,750 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file modified
BIN
-107 Bytes
(98%)
...es/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/icons/verify.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
9,497 changes: 4,872 additions & 4,625 deletions
9,497
...uages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file modified
BIN
-433 Bytes
(89%)
...dr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/hints.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified
BIN
-653 Bytes
(84%)
...r.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/search.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified
BIN
-438 Bytes
(88%)
...core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/terminal.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file removed
BIN
-585 Bytes
...ages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.gif
Binary file not shown.
Binary file added
BIN
+509 Bytes
...ages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file removed
BIN
-585 Bytes
...s/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.gif
Binary file not shown.
Binary file added
BIN
+509 Bytes
...s/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.