<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 30.11.2016, at 09:40, Levente Uzonyi <<a href="mailto:leves@caesar.elte.hu">leves@caesar.elte.hu</a>> wrote:<br>
<br>
> On Wed, 30 Nov 2016, Tobias Pape wrote:<br>
><br>
>><br>
>> On 30.11.2016, at 00:34, Chris Muller <<a href="mailto:asqueaker@gmail.com">asqueaker@gmail.com</a>> wrote:<br>
>><br>
>>> Hey Tobias, it looks like you added a <generated> tag too.</span> </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
><br>
> (I would rather not use pragmas in these methods, because I don't see if they would ever be used. If I were really want to mark these methods, I'd use a different author or a category other than accessing.)<br></span></blockquote><div><br></div><div>Agree with Chris and Levente: This is just a little shortcut for inserting code, it should not be littered with gratuitous annotations *if invoked from the menu interactively*. The menu item previously did this right, there is no reason to change its behavior.</div><div><br></div><div>I can see you wanting to use these methods from elsewhere, in which case adding the annotation might be fine. Maybe you want to pass an "annotation" argument to these generators? Just not in the interactive case.</div><div><br></div><div>- Bert -</div></div></div></div>