主页
IDEs Support (IntelliJ Platform) | JetBrains
联系支持服务
社区
登录
Poroto20
活动总数
8
最后的活动
2022年09月28日 08:30
成员加入日期
2022年09月14日 09:20
关注
0 名用户
关注者数
0 名用户
投票数
1
订阅数
1
活动概览
帖子(1)
评论(5)
按最近的活动排序
最近的活动
投票数
创建于
2022年09月28日 08:30
Yes, the URL specified for settings points to my local repo, which is a fork of the main repo. So instead of "git@git...." it points to "/Users/....." But I don't see any changes in my repo, even w...
社区
IntelliJ IDEA Open API and Plugin Development
Add entry point annotation via plugin
0 票
创建于
2022年09月23日 09:41
Sorry to bother you again. Our repo is not allowed to push from the IDE, so the IDE's Upstream URL point to my local repo. However; when I make changes to the preferences I don't see the changes in...
社区
IntelliJ IDEA Open API and Plugin Development
Add entry point annotation via plugin
0 票
创建于
2022年09月15日 08:39
I've changed the config both in the Project Default (stored in project) and Default (stored in IDE), and the changes go to that file (<project_root>/.idea/misc.xml) in both cases. How can I make th...
社区
IntelliJ IDEA Open API and Plugin Development
Add entry point annotation via plugin
0 票
创建于
2022年09月14日 12:00
Our inspection/Default.xml file in the settings repo looks like this: <inspections profile_name="Default" version="1.0"> <option name="myName" value="Default" /></inspections> <inspection_tool c...
社区
IntelliJ IDEA Open API and Plugin Development
Add entry point annotation via plugin
0 票
创建于
2022年09月14日 10:18
Can't we just add that entry to any XML file? (For instance, our default profile project.default.xml)
社区
IntelliJ IDEA Open API and Plugin Development
Add entry point annotation via plugin
0 票