Update print_optionbar_* to use well instead of panels

This commit is contained in:
laf
2014-06-15 14:04:19 +01:00
parent b55ed32aa8
commit 41d52b1be1

View File

@@ -480,15 +480,13 @@ function print_port_thumbnail($args)
function print_optionbar_start ($height = 0, $width = 0, $marginbottom = 5) function print_optionbar_start ($height = 0, $width = 0, $marginbottom = 5)
{ {
echo(' echo('
<div class="panel panel-default"> <div class="well">
<div class="panel-heading">
'); ');
} }
function print_optionbar_end() function print_optionbar_end()
{ {
echo(' </div>'); echo(' </div>');
echo(' </div>');
} }
function geteventicon($message) function geteventicon($message)