BUG 9926 I add the propety float right

I add the propety float right

workflow/engine/methods/cases/main_init.php

@@ -76,6 +76,16 @@ if (isset($_GET["id"]) && isset($_GET["id"])) {
     }
 }
 
+  $oServerConf =& serverConf::getSingleton();
+  if ($oServerConf->isRtl(SYS_LANG)) {
+    $regionTreePanel = 'east';
+    $regionDebug = 'west';
+  } else {
+    $regionTreePanel = 'west';
+    $regionDebug = 'east';
+  }
+$oHeadPublisher->assign('regionTreePanel', $regionTreePanel);
+$oHeadPublisher->assign('regionDebug', $regionDebug);
 $oHeadPublisher->assign("defaultOption", $defaultOption); //User menu permissions
 $oHeadPublisher->assign("_nodeId", isset($confDefaultOption)? $confDefaultOption : "PM_USERS"); //User menu permissions
 $oHeadPublisher->assign("FORMATS", $conf->getFormats());

workflow/engine/skinEngine/base/css/rtl.css

@@ -17,6 +17,7 @@ ul#pm_menu {
     padding: 0 0 0 13px;
 }
 
+ul#pm_menu li { float: right;}
 
 a.options-tool {
     color: #FFFFFF;

workflow/engine/templates/cases/main.js

@@ -296,7 +296,7 @@ Ext.onReady(function(){
   mainMenu = new Ext.Panel({
     id:'menuTreePanel',
     title: '',
-    region: 'west',
+    region: regionTreePanel,
     layout: 'border',
     width: 200,
     height: 500,
@@ -412,7 +412,7 @@ Ext.onReady(function(){
   debugPanel = new Ext.Panel({
     id:'debugPanel',
     title: _('ID_DEBUG_PANEL_TITLE'),
-    region: 'east',
+    region: regionDebug,
     layout: 'border',
     width: 300,
     height: 500,