MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Github: rename setting

Browse Source
This commit is contained in:
Aleksey Pivovarov
2013-10-05 17:09:46 +04:00
parent a8695ad7d5
commit f00f1e97be
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/src/org/jetbrains/plugins/github/ui/GithubSettingsPanel.form
+1 -1
View File
@@ -174,7 +174,7 @@
<grid row="0" column="0" row-span="1" col-span="1" vsize-policy="0" hsize-policy="0" anchor="8" fill="0" indent="0" use-parent-layout="false"/>
</constraints>
<properties>
<text value="HTTP timeout:"/>
<text value="Connection timeout:"/>
</properties>
</component>
<component id="cd677" class="javax.swing.JSpinner" binding="myTimeoutSpinner" custom-create="true">