[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