| Line 62... |
Line 62... |
| 62 |
[[self window] setOpaque:NO]; // Needed so we can see through it when we have clear stuff on top
|
62 |
[[self window] setOpaque:NO]; // Needed so we can see through it when we have clear stuff on top
|
| 63 |
[console setDrawsBackground:NO];
|
63 |
[console setDrawsBackground:NO];
|
| 64 |
[[console enclosingScrollView] setDrawsBackground:NO];
|
64 |
[[console enclosingScrollView] setDrawsBackground:NO];
|
| 65 |
|
65 |
|
| 66 |
[console setFont:[NSFont userFixedPitchFontOfSize:currentFontSize]];
|
66 |
[console setFont:[NSFont userFixedPitchFontOfSize:currentFontSize]];
|
| 67 |
// [fontSizeStepper setIntValue:currentFontSize];
|
- |
|
| 68 |
// theFont=[RTextView font];
|
- |
|
| 69 |
// theFont=[[NSFontManager sharedFontManager] convertFont:theFont toSize:[fontSizeStepper intValue]];
|
- |
|
| 70 |
// [RTextView setFont:theFont];
|
- |
|
| 71 |
|
67 |
|
| 72 |
// make sure the input caret has the right color
|
68 |
// make sure the input caret has the right color
|
| 73 |
if (0) {
|
69 |
if (0) {
|
| 74 |
NSMutableDictionary *md = [[console typingAttributes] mutableCopy];
|
70 |
NSMutableDictionary *md = [[console typingAttributes] mutableCopy];
|
| 75 |
[md setObject: [consoleColors objectAtIndex:iInputColor] forKey: @"NSColor"];
|
71 |
[md setObject: [consoleColors objectAtIndex:iInputColor] forKey: @"NSColor"];
|
| 76 |
[console setTypingAttributes:[NSDictionary dictionaryWithDictionary:md]];
|
72 |
[console setTypingAttributes:[NSDictionary dictionaryWithDictionary:md]];
|
| 77 |
[md release];
|
73 |
[md release];
|
| 78 |
}
|
74 |
}
|
| 79 |
|
75 |
|
| 80 |
[console setContinuousSpellCheckingEnabled:NO]; // force 'no spell checker'
|
76 |
[console setContinuousSpellCheckingEnabled:NO]; // force 'no spell checker'
|
| 81 |
|
77 |
|
| 82 |
// [RTextView changeColor: inputColor];
|
- |
|
| 83 |
[console display];
|
78 |
[console display];
|
| 84 |
}
|
79 |
}
|
| 85 |
|
80 |
|
| 86 |
- (NSUndoManager*) windowWillReturnUndoManager: (NSWindow*) sender
|
81 |
- (NSUndoManager*) windowWillReturnUndoManager: (NSWindow*) sender
|
| 87 |
{
|
82 |
{
|