-
Notifications
You must be signed in to change notification settings - Fork 7
/
RConsoleController.h
54 lines (46 loc) · 1.93 KB
/
RConsoleController.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
/*
* R.app : a Cocoa front end to: "R A Computer Language for Statistical Data Analysis"
*
* R.app Copyright notes:
* Copyright (C) 2004-5 The R Foundation
* written by Stefano M. Iacus and Simon Urbanek
*
*
* R Copyright notes:
* Copyright (C) 1995-1996 Robert Gentleman and Ross Ihaka
* Copyright (C) 1998-2001 The R Development Core Team
* Copyright (C) 2002-2004 The R Foundation
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* A copy of the GNU General Public License is available via WWW at
* http://www.gnu.org/copyleft/gpl.html. You can also obtain it by
* writing to the Free Software Foundation, Inc., 59 Temple Place,
* Suite 330, Boston, MA 02111-1307 USA.
*
* Created by Simon Urbanek on 1/11/05.
*/
#import <Cocoa/Cocoa.h>
#import "Preferences.h"
@interface RConsoleController : NSWindowController <PreferencesDependent>
{
IBOutlet NSTextView *console;
unsigned committedLength; // any text before this position cannot be edited by the user
unsigned promptPosition; // the last prompt is positioned at this position
unsigned outputPosition; // any output (stdxx or consWrite) is to be place here, if -1 then the text can be appended
float currentFontSize;
// cached colors from the color pane
NSMutableArray *consoleColors;
NSArray *consoleColorsKeys;
NSArray *defaultConsoleColors;
}
- (void) windowDidLoad;
@end