frame_generator.xml.diff
| rules/convert/frame_generator.xml 2021-11-10 18:23:58 +0000 | ||
|---|---|---|
| 1714 | 1714 |
<rule>ref.type == prog.kw_size or |
| 1715 | 1715 |
ref.type == prog.kw_size_c |
| 1716 | 1716 |
|
| 1717 |
<action>execLib("set_scrollable", lastId, optset)</action>
|
|
| 1718 | ||
| 1717 | 1719 |
<rule>execLib("check_map", optset, "setWidthChars", ref2)
|
| 1718 | 1720 |
<action> |
| 1719 | 1721 |
optset.put("setWidthChars",
|
| ... | ... | |
| 1732 | 1734 |
</action> |
| 1733 | 1735 |
</rule> |
| 1734 | 1736 | |
| 1735 |
<action>execLib("set_scrollable", lastId, optset)</action>
|
|
| 1736 | 1737 |
</rule> |
| 1737 | 1738 | |
| 1738 | 1739 |
<rule>ref.type == prog.kw_size_p |
| 1739 | 1740 |
|
| 1741 |
<action>execLib("set_scrollable", lastId, optset)</action>
|
|
| 1742 | ||
| 1740 | 1743 |
<rule>execLib("check_map", optset, "setWidthPixels", ref2)
|
| 1741 | 1744 |
<action> |
| 1742 | 1745 |
optset.put("setWidthPixels",
|
| ... | ... | |
| 1755 | 1758 |
</action> |
| 1756 | 1759 |
</rule> |
| 1757 | 1760 | |
| 1758 |
<action>execLib("set_scrollable", lastId, optset)</action>
|
|
| 1759 | 1761 |
</rule> |
| 1760 | 1762 | |
| 1761 | 1763 |
<action>ref2 = ref.getFirstChild()</action> |