()
| 1617 | } |
| 1618 | |
| 1619 | private void resetPrefs() { |
| 1620 | for (int i=0; i<7; i++) { |
| 1621 | String key = TOOL_KEY+(i/10)%10+i%10; |
| 1622 | if (!Prefs.get(key, "").equals("")) |
| 1623 | Prefs.set(key, ""); |
| 1624 | } |
| 1625 | } |
| 1626 | |
| 1627 | public static void restoreTools() { |
| 1628 | Toolbar tb = Toolbar.getInstance(); |
no test coverage detected