New Issue Checklist

🚫 If this template is not filled out your issue will be closed with no comment. 🚫

• I have looked at the Documentation
• I have read the F.A.Q.
• I have filled out this issue template.

Issue Info

CSS has the ability to allow proportional margin and padding:
https://webplatform.github.io/docs/guides/the_css_layout_model/#Proportional-margins-and-padding-in-the-W3C-box-model

I was wondering if it is possible to implement a similar concept with edges. For example, if I wanted my top margin of a subview to its superview to be 20% of the superview height (i.e. subview.top = superview.top +

We should add something to the readme describing the new feature added in Rightpoint/BonMot#361. @ndonald2 if you have a use case in mind, I’d love to see it documented in the readme and/or sample app.

Hey, I find it a little annoying to have to click into the dropdown to see what the sizing / positioning relationship is relative to.

Out of this twitter conversation let's follow @steipete recommendation of adding some code snippets comparing EasyPeasy with UIKit and AppKit Auto Layout APIs.

⌘+E shortcut conflicts with same Zeplin.io plug-in shortcut. It makes this shortcut useless for Sketch-Constraints when both plugins are installed.

As discussed in #217, the implementation of UUID matching is sub-optimal because it uses a hard coded constant regex string passed to a regex library. Significant performance gains can be achieved by replacing constant regex expressions with bespoke state machines.

This work is worth doing because UUIDs are so common in distributed systems and PGV sits on the hot path of every service request.

Describe the new feature

In the docs, we should have examples of the existing solver API.

Additional info

Please answer these questions before submitting your feature request.

Is your feature request related to an issue? Please include the issue number.

no

Does this fe

As of this post, there are only links to the next chapter at the top of the page. I'm not there when I want to go to the next chapter, because I've scrolled all the way to the bottom. Links at the bottom would make it easier to continue reading.

Expected behavior

limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution)

Actual behavior

search.limit Monitor are attach to search and not strategy.

Minimal Working Example

Experienced with choco-solver-4.0.4

solv.setSearch(
new AbstractStrategy[] {
Search.intVarSearch(new MaxRegret(), new IntDoma

Our documentation lives at https://pysmt.readthedocs.io/ .

Possible ideas to improve it:

• Try to go through the "Getting Started" section. Are all steps clear? Do you manage to run the example on your computer?
• The Tutorials section needs formatting. The examples live in examples/ and are included using .. literalinclude:: ../examples/basic.py. It would be nice to find a better way to better