| commit | aa58dd215516e4b6583a4cb2e9e6d1bfe967eb49 | [log] [tgz] |
|---|---|---|
| author | Chris Aniszczyk <caniszczyk> | Wed May 07 12:58:49 2008 +0000 |
| committer | Chris Aniszczyk <caniszczyk> | Wed May 07 12:58:49 2008 +0000 |
| tree | b49344e55053d50b01b5178388a67411d15aabe1 | |
| parent | 7ff468d6d40111cd7916242856898f557999bea6 [diff] [blame] |
230813: [picasso] - Add .options for controling tooltips and composite padding https://bugs.eclipse.org/bugs/show_bug.cgi?id=230813
diff --git a/picasso/plugins/org.eclipse.pde.picasso/.options b/picasso/plugins/org.eclipse.pde.picasso/.options index 424eb5f..f6f4767 100644 --- a/picasso/plugins/org.eclipse.pde.picasso/.options +++ b/picasso/plugins/org.eclipse.pde.picasso/.options
@@ -1 +1,3 @@ -org.eclipse.pde.picasso/paint=true \ No newline at end of file +org.eclipse.pde.picasso/paint=true +org.eclipse.pde.picasso/paint/extraCompositeMargin=0 +org.eclipse.pde.picasso/paint/toolTip=true