equal
deleted
inserted
replaced
1243 |
1243 |
1244 featureinterfaces = { |
1244 featureinterfaces = { |
1245 "chunkselector": [ |
1245 "chunkselector": [ |
1246 "text", |
1246 "text", |
1247 "curses", |
1247 "curses", |
1248 ] |
1248 ], |
|
1249 "histedit": [ |
|
1250 "text", |
|
1251 "curses", |
|
1252 ], |
1249 } |
1253 } |
1250 |
1254 |
1251 # Feature-specific interface |
1255 # Feature-specific interface |
1252 if feature not in featureinterfaces.keys(): |
1256 if feature not in featureinterfaces.keys(): |
1253 # Programming error, not user error |
1257 # Programming error, not user error |