2018-05-12 00:53:02 +00:00
|
|
|
/*
|
|
|
|
4coder_default_framework_variables.cpp - Declares the global variables used by the framework for
|
|
|
|
the default 4coder behavior.
|
|
|
|
*/
|
|
|
|
|
|
|
|
// TOP
|
|
|
|
|
2019-11-24 23:13:51 +00:00
|
|
|
CUSTOM_ID(attachment, view_rewrite_loc);
|
|
|
|
CUSTOM_ID(attachment, view_next_rewrite_loc);
|
|
|
|
CUSTOM_ID(attachment, view_paste_index_loc);
|
|
|
|
CUSTOM_ID(attachment, view_is_passive_loc);
|
|
|
|
CUSTOM_ID(attachment, view_snap_mark_to_cursor);
|
|
|
|
CUSTOM_ID(attachment, view_ui_data);
|
|
|
|
CUSTOM_ID(attachment, view_highlight_range);
|
|
|
|
CUSTOM_ID(attachment, view_highlight_buffer);
|
|
|
|
CUSTOM_ID(attachment, view_render_hook);
|
|
|
|
CUSTOM_ID(attachment, view_word_complete_menu);
|
|
|
|
|
|
|
|
CUSTOM_ID(attachment, buffer_map_id);
|
|
|
|
CUSTOM_ID(attachment, buffer_eol_setting);
|
|
|
|
CUSTOM_ID(attachment, buffer_lex_task);
|
|
|
|
CUSTOM_ID(attachment, buffer_wrap_lines);
|
|
|
|
|
|
|
|
CUSTOM_ID(attachment, sticky_jump_marker_handle);
|
|
|
|
CUSTOM_ID(attachment, attachment_tokens);
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-12-03 19:35:41 +00:00
|
|
|
CUSTOM_ID(command_map, mapid_global);
|
|
|
|
CUSTOM_ID(command_map, mapid_file);
|
|
|
|
CUSTOM_ID(command_map, mapid_code);
|
|
|
|
|
|
|
|
////////////////////////////////
|
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global b32 allow_immediate_close_without_checking_for_changes = false;
|
2018-08-05 07:09:18 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global char *default_extensions[] = {
|
2018-05-12 00:53:02 +00:00
|
|
|
"cpp",
|
|
|
|
"hpp",
|
|
|
|
"c",
|
|
|
|
"h",
|
|
|
|
"cc",
|
|
|
|
"cs",
|
2018-09-25 08:41:49 +00:00
|
|
|
"java",
|
|
|
|
"rs",
|
|
|
|
"glsl",
|
|
|
|
"m",
|
2018-05-12 00:53:02 +00:00
|
|
|
};
|
|
|
|
|
2018-06-08 22:51:36 +00:00
|
|
|
#if !defined(AUTO_CENTER_AFTER_JUMPS)
|
|
|
|
#define AUTO_CENTER_AFTER_JUMPS true
|
|
|
|
#endif
|
2019-08-24 01:34:42 +00:00
|
|
|
global b32 auto_center_after_jumps = AUTO_CENTER_AFTER_JUMPS;
|
|
|
|
global u8 locked_buffer_space[256];
|
|
|
|
global String_Const_u8 locked_buffer = {};
|
2018-06-08 22:51:36 +00:00
|
|
|
|
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global View_ID build_footer_panel_view_id = 0;
|
2018-06-08 22:51:36 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global u8 out_buffer_space[1024];
|
|
|
|
global u8 command_space[1024];
|
|
|
|
global char hot_directory_space[1024];
|
2018-06-08 22:51:36 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global b32 suppressing_mouse = false;
|
2018-06-08 22:51:36 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global b32 show_fps_hud = false;
|
2019-02-25 23:42:13 +00:00
|
|
|
|
2019-09-04 05:31:35 +00:00
|
|
|
// TODO(allen): REMOVE THIS!
|
2019-08-24 01:34:42 +00:00
|
|
|
global Heap global_heap;
|
2019-02-26 19:59:57 +00:00
|
|
|
|
2018-09-27 20:15:32 +00:00
|
|
|
enum{
|
2018-09-30 12:14:47 +00:00
|
|
|
FCoderMode_Original = 0,
|
|
|
|
FCoderMode_NotepadLike = 1,
|
2018-09-27 20:15:32 +00:00
|
|
|
};
|
2019-08-24 01:34:42 +00:00
|
|
|
global i32 fcoder_mode = FCoderMode_Original;
|
2018-06-08 22:51:36 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global ID_Pos_Jump_Location prev_location = {};
|
2018-06-08 22:51:36 +00:00
|
|
|
|
|
|
|
|
2019-10-01 02:06:21 +00:00
|
|
|
global Arena *global_config_arena = {};
|
2019-08-24 01:34:42 +00:00
|
|
|
global Config_Data global_config = {};
|
2018-06-08 22:51:36 +00:00
|
|
|
|
2019-08-24 01:34:42 +00:00
|
|
|
global char previous_isearch_query[256] = {};
|
2018-06-16 20:57:32 +00:00
|
|
|
|
2019-10-10 22:57:02 +00:00
|
|
|
global Mapping framework_mapping = {};
|
|
|
|
|
2019-11-05 06:25:19 +00:00
|
|
|
global Buffer_Modified_Set global_buffer_modified_set = {};
|
|
|
|
|
2019-12-23 17:15:18 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
|
|
|
global b32 global_keyboard_macro_is_recording = false;
|
|
|
|
global Range_i64 global_keyboard_macro_range = {};
|
|
|
|
|
2020-01-15 18:14:17 +00:00
|
|
|
////////////////////////////////
|
|
|
|
|
|
|
|
global Fade_Range_List buffer_fade_ranges = {};
|
|
|
|
global Fade_Range_List view_fade_ranges = {};
|
|
|
|
global Arena fade_range_arena = {};
|
|
|
|
global Fade_Range *free_fade_ranges = 0;
|
|
|
|
|
2018-08-05 07:09:18 +00:00
|
|
|
// BOTTOM
|
|
|
|
|