tree ece9c1085d078e2b17c5b8c60f1d7955b7e3c196
parent ee24ab322b12001464648e0e9a6bdc7ce35cea2f
author Thomas Schindl <tschindl> 1277747892 +0000
committer Thomas Schindl <tschindl> 1277747892 +0000

Bug 304584 -  [Tooling] Implement Workbench-Model-Tooling
* some padding for the live editor