diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-20 14:15:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-20 14:15:31 +0100 |
| commit | 90dd3774a38b46a0c8df0fb01af2a7de60409c63 (patch) | |
| tree | 1cac7dedaaa91679fd6d0705b5ecb57aa13aa330 /editor/editor_properties.h | |
| parent | 477e89a8a211f9235bdfb46583c7c14cef8a7c11 (diff) | |
| parent | dbca3b81ba567658e51c1418a7614c5aefd6a18d (diff) | |
Merge pull request #23802 from JFonS/add_save_option
Add Save option to resource property menu
Diffstat (limited to 'editor/editor_properties.h')
| -rw-r--r-- | editor/editor_properties.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/editor/editor_properties.h b/editor/editor_properties.h index 541abb1f22..b82ef977ef 100644 --- a/editor/editor_properties.h +++ b/editor/editor_properties.h @@ -522,10 +522,11 @@ class EditorPropertyResource : public EditorProperty { OBJ_MENU_EDIT = 1, OBJ_MENU_CLEAR = 2, OBJ_MENU_MAKE_UNIQUE = 3, - OBJ_MENU_COPY = 4, - OBJ_MENU_PASTE = 5, - OBJ_MENU_NEW_SCRIPT = 6, - OBJ_MENU_SHOW_IN_FILE_SYSTEM = 7, + OBJ_MENU_SAVE = 4, + OBJ_MENU_COPY = 5, + OBJ_MENU_PASTE = 6, + OBJ_MENU_NEW_SCRIPT = 7, + OBJ_MENU_SHOW_IN_FILE_SYSTEM = 8, TYPE_BASE_ID = 100, CONVERT_BASE_ID = 1000 |