1 <div class='card card-xl' ng-class='{active: isActive()}' id='{{definition.full_name}}'
>
2 <div class='card-body'
>
4 <span ng-if='definition.is_intro'
>
5 <span class='text-muted glyphicon glyphicon-plus' title='introduction'
/>
6 <entity-namespace namespace='definition.namespace'
/>
8 <span ng-if='!definition.is_intro'
>
9 <span class='text-muted glyphicon glyphicon-asterisk' title='redefinition'
/>
10 <entity-namespace namespace='definition.namespace'
/>
13 <button class='btn btn-link' aria-expanded='false'
14 data-target='#{{codeId}}' ng-click='loadCardCode()'
15 aria-controls='{{codeId}}'
>
16 <span class='glyphicon glyphicon-console'
21 <div id='{{codeId}}' class='collapse'
>
22 <pre ng-bind-html='code.code'
/>
23 <entity-location loc='code.location'
/>