Restored merge behavior for DRC 'or' also in deep mode

This commit is contained in:
Matthias Koefferlein 2021-05-31 18:24:00 +02:00
parent e37a12d614
commit ef01bbf81b
2 changed files with 2 additions and 5 deletions

View File

@ -665,8 +665,8 @@ DeepRegion::not_with (const Region &other) const
RegionDelegate *
DeepRegion::or_with (const Region &other) const
{
// NOTE: this is somewhat different from the as if flat case because it does not merge
return add (other);
RegionDelegate *res = add (other);
return res->merged_in_place ();
}
std::pair<RegionDelegate *, RegionDelegate *>

View File

@ -1788,9 +1788,6 @@ CODE
# @td @img(/images/drc_or2.png) @/td
# @/tr
# @/table
#
# In deep mode, "or" or "|" does not imply merging. In deep mode,
# "or" is an alias for "+" ("add").
def or(other)
@engine._context("or") do