diff options
| author | aarne <unknown> | 2004-08-13 13:21:46 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-13 13:21:46 +0000 |
| commit | 69aa3248d2ea878ef45e9e8c177381730d949c32 (patch) | |
| tree | b412e7238c9690fab1867159b5c6a1e4336fb59a /src/GF/Shell | |
| parent | a7605447420a6acdde087a6bd7be6ef2d0dd12cd (diff) | |
unique ref
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index 1823ef8d0..adc023a3d 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -310,7 +310,7 @@ mkRefineMenuAll env sstate = [(CSelectCand i, prCand (t,i)) | (t,i) <- zip cands [0..]] where - prRef (f,t) = + prRef (f,(t,_)) = (ifShort "r" "Refine" +++ prOrLinRef f +++ ifTyped (":" +++ prt_ t), "r" +++ prRefinement f) prClip i t = @@ -474,7 +474,9 @@ displaySState env state = (prState (stateSState state), msgSState state, menuSState env state) menuSState :: CEnv -> SState -> [(String,String)] -menuSState env state = [(s,c) | (_,(s,c)) <- mkRefineMenuAll env state] +menuSState env state = if null cs then [("[NO ALTERNATIVE]","")] else cs + where + cs = [(s,c) | (_,(s,c)) <- mkRefineMenuAll env state] printname :: CEnv -> SState -> G.Fun -> String printname env state f = case getOptVal opts menuDisplay of |