313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
|
}
- (void)setDouble: (double)double_
forKey: (OFString*)key
{
void *pool = objc_autoreleasePoolPush();
[self setString: [OFString stringWithFormat: @"%lg", double_]
forKey: key];
objc_autoreleasePoolPop(pool);
}
- (void)removeValueForKey: (OFString*)key
{
|
|
|
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
|
}
- (void)setDouble: (double)double_
forKey: (OFString*)key
{
void *pool = objc_autoreleasePoolPush();
[self setString: [OFString stringWithFormat: @"%g", double_]
forKey: key];
objc_autoreleasePoolPop(pool);
}
- (void)removeValueForKey: (OFString*)key
{
|