Searched refs:plumbing (Results 1 – 7 of 7) sorted by relevance
| /packages/inputmethods/LatinIME/tools/dicttool/src/com/android/inputmethod/latin/dicttool/ |
| D | Info.java | 39 private static void showInfo(final FusionDictionary dict, final boolean plumbing) { in showInfo() argument
41 System.out.print(dict.mOptions.toString(2, plumbing)); in showInfo()
88 final boolean plumbing; in run()
90 plumbing = true; in run()
96 plumbing = false; in run()
103 showInfo(dict, plumbing); in run()
|
| D | Header.java | 39 final boolean plumbing; in run()
41 plumbing = true; in run()
44 plumbing = false; in run()
66 System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing)); in run()
|
| D | Diff.java | 45 final boolean plumbing; in run()
47 plumbing = true; in run()
53 plumbing = false; in run()
61 if (!plumbing) { in run()
|
| /packages/inputmethods/LatinIME/java/src/com/android/inputmethod/latin/makedict/ |
| D | FormatSpec.java | 280 public String toString(final int indentCount, final boolean plumbing) { in toString() argument
282 if (plumbing) { in toString()
294 if ("date".equals(optionKey) && !plumbing) { in toString()
|
| /packages/inputmethods/LatinIME/dictionaries/ |
| D | en_GB_wordlist.combined.gz | 1dictionary=main:en_gb,locale=en_GB,description=English (UK),date ... |
| D | en_US_wordlist.combined.gz | 1dictionary=main:en_us,locale=en_US,description=English (US),date ... |
| D | en_wordlist.combined.gz | 1dictionary=main:en,locale=en,description=English,date=1414726273, ... |