This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SmartField | |
| has default value? | |
| yes? -> selected | |
| no? -> unknown | |
| unknown | |
| FOCUS -> selecting unknown | |
| # here be popups | |
| selecting | |
| SELECT -> selected | |
| selecting unknown |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SmartNote | |
| UNFOCUS -> blurred | |
| FOCUS 1 -> SmartField 1 | |
| FOCUS 2 -> SmartField 2 | |
| FOCUS 3 -> SmartField 3 | |
| blurred | |
| FOCUS -> focused | |
| focused | |
| SmartField 1 | |
| SELECT -> SmartField 2 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SmartTime keyboard 2 | |
| default | |
| KEY 0 -> digit 0 | |
| KEY 1 -> digit 1 | |
| KEY 2 -> digit 2 | |
| KEY 3-9 -> digit 3-9 | |
| digit 0 | |
| enter -> t0000 | |
| KEY 0-5 -> digit 0 0-5 | |
| KEY 6-9 -> hour 06-09 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SmartTime keyboard 3 | |
| # entering the first digit of the hour | |
| digit-1 | |
| # assume 00:00 | |
| ENTER -> complete | |
| # first digit can be 0,1 or 2 | |
| KEY 0-1 -> digit-2 | |
| # 2 is the special case because it can only continue with 0-3 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SmartMessage for calving-completed & | |
| Calves | |
| set calves to 1 -> 1 calf | |
| set calves to 2 -> 2 calves | |
| set calves to 3 -> 3 calves | |
| 1 calf* | |
| 2 calves | |
| set both -> Both | |
| set one-another -> One - another | |
| Both |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| QuickThaw UI | |
| Login | |
| Pending login | |
| correct token -> Logged in | |
| incorrect token -> Login | |
| Login request | |
| submit login request -> Manual token | |
| Manual token | |
| manual token entered -> Pending login |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CowGrid Cell& | |
| Focus state | |
| select this cell -> View mode | |
| select range ending on this cell -> View mode | |
| select range including this cell -> Cursor elsewhere | |
| select another cell or range -> Out of selection | |
| Out of selection | |
| In selection | |
| Cursor on cell | |
| select this cell -> Edit mode |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| QuickThaw v3 | |
| Idle | |
| start process -> Process | |
| Process | |
| Heating | |
| heating setpoint -> Loading | |
| Loading | |
| Ready L | |
| button pressed -> Opening L | |
| Opening L |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| speller :: [[Char]] -> [Char] | |
| speller list = | |
| spell (filter ((/=) "") list) | |
| spell :: [[Char]] -> [Char] | |
| spell [] = [] | |
| spell [single] = | |
| isFor single | |
| spell [first, second] = | |
| isFor first ++ " and " ++ isFor second |