Google Groups Home
Help | Sign in
SciTE研究 - 中文小组
Home
+ new post
Pages
Files
About this group
Join this group
如何在“工具”菜单中添加外部工具的启动命令……
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   2 messages - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
yeardo  
View profile
  More options Jul 5, 11:01 am
From: yeardo <mars.y...@gmail.com>
Date: Sat, 5 Jul 2008 08:01:02 -0700 (PDT)
Local: Sat, Jul 5 2008 11:01 am
Subject: 如何在“工具”菜单中添加外部工具的启动命令……
Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author
如题……

    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Danwu Hou  
View profile
  More options Jul 6, 11:01 am
From: "Danwu Hou" <hou.da...@gmail.com>
Date: Sun, 6 Jul 2008 23:01:45 +0800
Local: Sun, Jul 6 2008 11:01 am
Subject: Re: 如何在“工具”菜单中添加外部工具的启动命令……
Reply to author | Forward | Print | Individual message | Show original | Report this message | Find messages by this author

command.name.11.*=Select Theme # 这个菜单会出现在Tools下面
command.11.*=SelectTheme # <-- 这应该是一个lua函数，用来执行具体的操作
command.mode.11.*=subsystem:lua,savebefore:no

详细的说明在SciTEDoc.html里有

2008/7/5 yeardo <mars.y...@gmail.com>:


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google