+# topmenu animation
+# xxx all this should go into a plugin if its own with the topmenu and all...
+ query_pi_auths = Query.get('ple:user').filter_by('user_hrn', '==', '$user_hrn' ).select('pi_authorities')
+ page.enqueue_query(query_pi_auths)
+ # even though this plugin does not have any html materialization, the corresponding domid
+ # must exist because it is searched at init-time to create the JS plugin
+ # so we simply piggy-back the target button here
+ validatebutton = ValidateButton (page=page,
+ # see above
+ domid='topmenu-validation',
+ query=query_pi_auths,
+ # this one is the target for a $.show() when the query comes back
+ button_domid="topmenu-validation")
+ # although the result does not matter, rendering is required for the JS init code to make it in the page
+ validatebutton.render(request)
+# end topmenu addition
+