<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-03-18 12:15 GMT+01:00 Martin Koppenhoefer <span dir="ltr"><<a href="mailto:dieterdreist@gmail.com" target="_blank">dieterdreist@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></div></div></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></div><div class="gmail_extra">It would require us to add operator tags to every single object inside another object with the same operator tag, if I got you right.<br></div></div></blockquote><div><br></div><div>Only to the ones that are by default used by public, so toilets, waste_disposals, and so on.  But they are already mapped wrong, so something has to be done. Adding a "private:" prefix and operator=* tag is one idea, maybe there is a cleaner way.<br><br></div><div>Janko<br></div></div><br></div></div>