[openrtm-commit:01035] r439 - trunk/rtmtools/jp.go.aist.rtm.systemeditor

openrtm @ openrtm.org openrtm @ openrtm.org
2013年 3月 17日 (日) 00:38:55 JST


Author: ga
Date: 2013-03-17 00:38:55 +0900 (Sun, 17 Mar 2013)
New Revision: 439

Modified:
   trunk/rtmtools/jp.go.aist.rtm.systemeditor/plugin.xml
Log:
Modified NameServiceView Area

Modified: trunk/rtmtools/jp.go.aist.rtm.systemeditor/plugin.xml
===================================================================
--- trunk/rtmtools/jp.go.aist.rtm.systemeditor/plugin.xml	2013-03-16 10:16:32 UTC (rev 438)
+++ trunk/rtmtools/jp.go.aist.rtm.systemeditor/plugin.xml	2013-03-16 15:38:55 UTC (rev 439)
@@ -447,7 +447,7 @@
 			<actionSet id="jp.go.aist.rtm.nameserviceview.ui.actionSet"/>
 			<actionSet id="jp.go.aist.rtm.systemeditor.ui.actionSet"/>
 			<view
-				ratio="0.2"
+				ratio="0.25"
 				relative="org.eclipse.ui.editorss"
 				relationship="left"
 				id="jp.go.aist.rtm.nameserviceview.ui.views.nameserviceview.NameServiceView">



More information about the openrtm-commit mailing list