| changeset 3131 | 0f15fabe9d8d |
| parent 3032 | 22224b1b4d24 |
| child 3536 | 770d419eef48 |
| 3130:0770d19dc052 | 3131:0f15fabe9d8d |
|---|---|
245 #leave it in the list for later |
245 #leave it in the list for later |
246 break |
246 break |
247 |
247 |
248 def add_generated_content(self,*C): |
248 def add_generated_content(self,*C): |
249 self.__dict__.setdefault('_generated_content',[]).extend(C) |
249 self.__dict__.setdefault('_generated_content',[]).extend(C) |
250 |
|
251 def _aSpaceString(self): |
|
252 return '(%s x %s%s)' % (self._getAvailableWidth(),self._aH,self._atTop and '*' or '') |