10416:5d807e997391 | 10417:c6011e501282 |
---|---|
177 </dd> | 177 </dd> |
178 </dl> | 178 </dl> |
179 <dl> | 179 <dl> |
180 <dt>Return Type:</dt> | 180 <dt>Return Type:</dt> |
181 <dd> | 181 <dd> |
182 any | 182 Any |
183 </dd> | 183 </dd> |
184 </dl> | 184 </dl> |
185 <a NAME="TranslatorPlugin.getPreferencesDefault" ID="TranslatorPlugin.getPreferencesDefault"></a> | 185 <a NAME="TranslatorPlugin.getPreferencesDefault" ID="TranslatorPlugin.getPreferencesDefault"></a> |
186 <h4>TranslatorPlugin.getPreferencesDefault</h4> | 186 <h4>TranslatorPlugin.getPreferencesDefault</h4> |
187 <b>getPreferencesDefault</b>(<i>key</i>) | 187 <b>getPreferencesDefault</b>(<i>key</i>) |
203 </dd> | 203 </dd> |
204 </dl> | 204 </dl> |
205 <dl> | 205 <dl> |
206 <dt>Return Type:</dt> | 206 <dt>Return Type:</dt> |
207 <dd> | 207 <dd> |
208 any | 208 Any |
209 </dd> | 209 </dd> |
210 </dl> | 210 </dl> |
211 <a NAME="TranslatorPlugin.setPreferences" ID="TranslatorPlugin.setPreferences"></a> | 211 <a NAME="TranslatorPlugin.setPreferences" ID="TranslatorPlugin.setPreferences"></a> |
212 <h4>TranslatorPlugin.setPreferences</h4> | 212 <h4>TranslatorPlugin.setPreferences</h4> |
213 <b>setPreferences</b>(<i>key, value</i>) | 213 <b>setPreferences</b>(<i>key, value</i>) |
219 | 219 |
220 <dt><i>key</i> (str)</dt> | 220 <dt><i>key</i> (str)</dt> |
221 <dd> | 221 <dd> |
222 the key of the setting to be set | 222 the key of the setting to be set |
223 </dd> | 223 </dd> |
224 <dt><i>value</i> (any)</dt> | 224 <dt><i>value</i> (Any)</dt> |
225 <dd> | 225 <dd> |
226 the value to be set | 226 the value to be set |
227 </dd> | 227 </dd> |
228 </dl> | 228 </dl> |
229 <div align="right"><a href="#top">Up</a></div> | 229 <div align="right"><a href="#top">Up</a></div> |