Parent Directory | Revision Log | Patch
revision 1.4 by Vegai, Fri Jan 31 13:42:47 2003 UTC | revision 1.5 by Vegai, Sun Feb 2 18:58:50 2003 UTC | |
---|---|---|
# | Line 44 class Settings(Borg): | Line 44 class Settings(Borg): |
44 | def has_key(self, name): | def has_key(self, name): |
45 | return self.dict.has_key(name) | return self.dict.has_key(name) |
46 | ||
47 | def copy(self): | |
48 | foo = Settings() | |
49 | foo.dict = self.dict.copy() | |
50 | return foo | |
51 | ||
52 | ||
53 | """ | """ |
54 | Stores global settings for metapost actions. | Stores global settings for metapost actions. |
55 | """ | """ |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |