2018-05-09 07:10:07 +00:00
|
|
|
/*
|
|
|
|
4coder_jump_sticky.h - Types for persistant jump positions.
|
|
|
|
*/
|
|
|
|
|
|
|
|
// TOP
|
|
|
|
|
|
|
|
#if !defined(FCODER_JUMP_STICKY_H)
|
|
|
|
#define FCODER_JUMP_STICKY_H
|
|
|
|
|
2018-08-18 08:16:52 +00:00
|
|
|
struct Sticky_Jump{
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 list_line;
|
|
|
|
i32 list_colon_index;
|
|
|
|
b32 is_sub_error;
|
2018-08-18 08:16:52 +00:00
|
|
|
Buffer_ID jump_buffer_id;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 jump_pos;
|
2018-08-12 03:45:09 +00:00
|
|
|
};
|
|
|
|
|
2018-08-18 08:16:52 +00:00
|
|
|
struct Sticky_Jump_Stored{
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 list_line;
|
|
|
|
i32 list_colon_index;
|
|
|
|
b32 is_sub_error;
|
2018-08-12 03:45:09 +00:00
|
|
|
Buffer_ID jump_buffer_id;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 index_into_marker_array;
|
2018-08-12 03:45:09 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Sticky_Jump_Array{
|
2018-09-17 18:47:06 +00:00
|
|
|
Sticky_Jump *jumps;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 count;
|
2018-08-12 03:45:09 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Sticky_Jump_Node_Header{
|
2018-08-12 06:33:52 +00:00
|
|
|
Managed_Object memory;
|
|
|
|
Managed_Object markers;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 first_index;
|
|
|
|
i32 count;
|
2018-08-12 03:45:09 +00:00
|
|
|
};
|
|
|
|
|
2018-05-09 07:10:07 +00:00
|
|
|
enum Jump_Location_Flag{
|
|
|
|
JumpFlag_IsSubJump = 0x1,
|
|
|
|
};
|
|
|
|
|
|
|
|
struct Marker_List{
|
2018-08-18 08:16:52 +00:00
|
|
|
Managed_Object jump_array;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 jump_count;
|
|
|
|
i32 previous_size;
|
2018-08-18 08:16:52 +00:00
|
|
|
Buffer_ID buffer_id;
|
2018-05-09 07:10:07 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Marker_List_Node{
|
|
|
|
Marker_List_Node *next;
|
|
|
|
Marker_List_Node *prev;
|
|
|
|
Marker_List list;
|
2018-08-18 08:16:52 +00:00
|
|
|
Buffer_ID buffer_id;
|
2018-05-09 07:10:07 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Locked_Jump_State{
|
2019-04-06 19:40:36 +00:00
|
|
|
View_ID view;
|
2018-05-09 07:10:07 +00:00
|
|
|
Marker_List *list;
|
2019-02-26 23:08:42 +00:00
|
|
|
i32 list_index;
|
2018-05-09 07:10:07 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
// BOTTOM
|
|
|
|
|