Performs an action assigned to the setDictionary entry-point.
()
| 2660 | * Performs an action assigned to the setDictionary entry-point. |
| 2661 | */ |
| 2662 | public void setDictionary() {//GEN-END:|805-entry|0|806-preAction |
| 2663 | // write pre-action user code here |
| 2664 | //#if !(TinyMode || TinyModeExport || LightMode || LightModeExport) |
| 2665 | Dictionary[] dicts = dictman.getDictionaries(); |
| 2666 | selectedDictionary = |
| 2667 | dicts[getDictionaries().getSelectedIndex()]; |
| 2668 | |
| 2669 | /* |
| 2670 | * Reset search word |
| 2671 | */ |
| 2672 | searchWord = getWordBox().getString(); |
| 2673 | |
| 2674 | /* |
| 2675 | * Reset suggestions |
| 2676 | */ |
| 2677 | suggestions = null; |
| 2678 | //#endif |
| 2679 | switchDisplayable(null, getLookup());//GEN-LINE:|805-entry|1|806-postAction |
| 2680 | // write post-action user code here |
| 2681 | }//GEN-BEGIN:|805-entry|2| |
| 2682 | //</editor-fold>//GEN-END:|805-entry|2| |
| 2683 | |
| 2684 |
no test coverage detected