fix poly clip and fix poly_remove_duplicate

This commit is contained in:
2018-11-29 23:13:04 +01:00
parent f64f157e82
commit d0919862da
5 changed files with 14 additions and 40 deletions

View File

@@ -862,7 +862,7 @@ Here's a list of what's available in this release.
<icon icon="picture_go" width="20"/>
<text text="Export JPG" grow="1" margin="0 0 0 5" font-face="arial" font-size="11"/>
</button-custom>
<button-custom id="file-share" text="Menu" height="40" align="center" color=".2" pad="0 0 0 10" dir="row">
<button-custom id="file-share" os="osx,ios" text="Menu" height="40" align="center" color=".2" pad="0 0 0 10" dir="row">
<icon icon="picture_go" width="20"/>
<text text="Share" grow="1" margin="0 0 0 5" font-face="arial" font-size="11"/>
</button-custom>
@@ -1088,9 +1088,11 @@ Here's a list of what's available in this release.
<image path="data/ui/layers.png" width="100%" height="100%" align="center" justify="flex-end"/>
</button-custom>
<!--
<button-custom id="btn-grids-panel" width="50" height="50" margin="0 0 5 0" thickness="1" border-color=".1" pad="2">
<image path="data/ui/grid.png" width="100%" height="100%" align="center" justify="flex-end" mips="true"/>
</button-custom>
-->
</border>
<!-- side bar -->