|
39 | 39 | "workspace"
|
40 | 40 | ],
|
41 | 41 | "activationEvents": [
|
42 |
| - "onView:gitHubIntegration" |
| 42 | + "onView:gitHubIntegration", |
| 43 | + "onCommand:openjdkDevel.gitHubIntegration.refresh", |
| 44 | + "onCommand:openjdkDevel.setGithubToken", |
| 45 | + "onCommand:openjdkDevel.setGithubUsername" |
43 | 46 | ],
|
44 | 47 | "contributes": {
|
45 | 48 | "configuration": {
|
|
66 | 69 | {
|
67 | 70 | "command": "openjdkDevel.gitHubIntegration.refresh",
|
68 | 71 | "title": "Refresh GitHub Integration",
|
69 |
| - "category": "JDK Development", |
| 72 | + "category": "OpenJDK Development", |
70 | 73 | "icon": "$(refresh)"
|
71 | 74 | },
|
72 | 75 | {
|
73 | 76 | "command": "openjdkDevel.setGithubToken",
|
74 | 77 | "title": "Setup GitHub API Token",
|
75 |
| - "category": "JDK Development" |
| 78 | + "category": "OpenJDK Development" |
76 | 79 | },
|
77 | 80 | {
|
78 | 81 | "command": "openjdkDevel.setGithubUsername",
|
79 | 82 | "title": "Setup GitHub username",
|
80 |
| - "category": "JDK Development" |
| 83 | + "category": "OpenJDK Development" |
81 | 84 | }
|
82 |
| - |
83 | 85 | ],
|
84 | 86 | "menus": {
|
85 |
| - "commandPalette": [ |
86 |
| - { |
87 |
| - "command": "openjdkDevel.gitHubIntegration.refresh", |
88 |
| - "when": "false" |
89 |
| - } |
90 |
| - ], |
91 | 87 | "view/title": [
|
92 | 88 | {
|
93 | 89 | "command": "openjdkDevel.gitHubIntegration.refresh",
|
|
125 | 121 | "contents": "In order to use the GitHub integration, you need to specify a GitHub user name.\n[Setup GitHub user name](command:openjdkDevel.setGithubUsername)",
|
126 | 122 | "when": "config.openjdkDevel.github.username == ''"
|
127 | 123 | }
|
128 |
| - |
129 | 124 | ]
|
130 | 125 | },
|
131 | 126 | "scripts": {
|
|
0 commit comments