blob: 3408d9f7a8f54066a3528cd85cb7f7f7d8bb9b6d (
plain)
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
//
// TikzSourceController.h
// TikZiT
//
// Copyright 2010 Aleks Kissinger. All rights reserved.
//
//
// This file is part of TikZiT.
//
// TikZiT 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 3 of the License, or
// (at your option) any later version.
//
// TikZiT 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.
//
// You should have received a copy of the GNU General Public License
// along with TikZiT. If not, see <http://www.gnu.org/licenses/>.
//
#import <Cocoa/Cocoa.h>
#import "GraphicsView.h"
#import "ParseErrorView.h"
@interface TikzSourceController : NSObject {
GraphicsView *graphicsView;
NSTextView *sourceView;
NSAttributedString *source;
NSTextField *status;
NSDictionary *textAttrs;
NSColor *successColor;
NSColor *failedColor;
NSTextField *errorMessage;
ParseErrorView *errorNotification;
NSUndoManager *documentUndoManager;
BOOL tikzChanged;
BOOL justUndid;
NSError *lastError;
}
@property BOOL tikzChanged;
@property IBOutlet GraphicsView *graphicsView;
@property IBOutlet NSTextView *sourceView;
@property IBOutlet NSTextField *status;
@property NSUndoManager *documentUndoManager;
@property (copy) NSAttributedString *source;
@property (copy) NSString *tikz;
@property IBOutlet ParseErrorView *errorNotification;
@property IBOutlet NSTextField *errorMessage;
- (void)updateTikzFromGraph;
- (void)graphChanged:(NSNotification*)n;
- (IBAction)closeParseError:(id)pId;
// called by code, these do not register an undo
- (BOOL)tryParseTikz;
- (void)doRevertTikz;
// called by user, these do register an undo
- (void)parseTikz:(id)sender;
- (void)revertTikz:(id)sender;
@end
|