diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-09-01 00:49:47 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-09-01 00:49:47 -0300 |
| commit | 688047a4c95e688984c8000722e9fd368d3bced6 (patch) | |
| tree | 4a9b6695ccfe5b3a50c5e92b7dd88aea61251dcd /tools/editor/editor_data.h | |
| parent | cf57a654d7d09fe169455ffc2049cd4bfec660f3 (diff) | |
-removed resources dock, good bye old friend
Diffstat (limited to 'tools/editor/editor_data.h')
| -rw-r--r-- | tools/editor/editor_data.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/editor/editor_data.h b/tools/editor/editor_data.h index f888e3c14f..c5ee83ae63 100644 --- a/tools/editor/editor_data.h +++ b/tools/editor/editor_data.h @@ -75,10 +75,17 @@ friend class EditorData; public: + bool is_at_begining() const; + bool is_at_end() const; + void add_object(ObjectID p_object); void add_object(ObjectID p_object,const String& p_subprop); void add_object(ObjectID p_object,int p_relevel); + int get_history_len(); + int get_history_pos(); + ObjectID get_history_obj(int p_obj) const; + bool next(); bool previous(); ObjectID get_current(); |