f9eab39e93
Widgets on the right widgetarea can now be rearranged by drag-and-drop
37 lines
1 KiB
HTML
37 lines
1 KiB
HTML
<style>
|
|
.widget-header-button {
|
|
font-size: unset;
|
|
}
|
|
.widget-handle {
|
|
cursor: pointer;
|
|
font-weight: bold;
|
|
}
|
|
</style>
|
|
<div data-bind="event: { mouseover: onMouseover, mouseout: onMouseout }">
|
|
<div class="ui-state-default widget-handle">
|
|
<button
|
|
data-bind="
|
|
button: {
|
|
icons: {
|
|
primary: pinned() ? 'ui-icon-pin-s' : 'ui-icon-pin-w'
|
|
},
|
|
text: false
|
|
},
|
|
click: pin"
|
|
class="widget-header-button" title="Pin"></button>
|
|
<button
|
|
data-bind="
|
|
button: {
|
|
icons: {
|
|
primary: 'ui-icon-circlesmall-close'
|
|
},
|
|
text: false
|
|
},
|
|
click: close"
|
|
class="widget-header-button" title="Close"></button>
|
|
<span data-bind="text: widget"></span>
|
|
</div>
|
|
|
|
<div class="phi-widget" data-bind="component: { name: widget }, visible: expanded"></div>
|
|
|
|
</div>
|