(S, newtarget, src_dict)
| 58 | |
| 59 | |
| 60 | def shorten(S, newtarget, src_dict): |
| 61 | if S.startswith('@-'): |
| 62 | return S[2:] |
| 63 | elif S.startswith('@'): |
| 64 | if src_dict is APPATTRS: |
| 65 | return '.'.join(['app', S[1:]]) |
| 66 | return S[1:] |
| 67 | return S |
| 68 | |
| 69 | |
| 70 | def get_abbr(pre, rest, type, orig=None): |