146 lines
1.5 KiB
HTML
146 lines
1.5 KiB
HTML
<html lang="en-US">
|
|
<head>
|
|
<title>4coder API Docs</title>
|
|
</head>
|
|
<body style='font-family:Arial;'>
|
|
<h1>4coder API</h1><h2>
|
|
§1 Introduction</h2>
|
|
<div style='margin-bottom: 5mm;'><i>Coming Soon</i></div><h2>
|
|
§2 Functions</h2>
|
|
<div>
|
|
exec_command
|
|
</div>
|
|
<div>
|
|
exec_system_command
|
|
</div>
|
|
<div>
|
|
directory_get_hot
|
|
</div>
|
|
<div>
|
|
get_4ed_path
|
|
</div>
|
|
<div>
|
|
file_exists
|
|
</div>
|
|
<div>
|
|
directory_cd
|
|
</div>
|
|
<div>
|
|
get_file_list
|
|
</div>
|
|
<div>
|
|
free_file_list
|
|
</div>
|
|
<div>
|
|
clipboard_post
|
|
</div>
|
|
<div>
|
|
clipboard_count
|
|
</div>
|
|
<div>
|
|
clipboard_index
|
|
</div>
|
|
<div>
|
|
get_buffer_first
|
|
</div>
|
|
<div>
|
|
get_buffer_next
|
|
</div>
|
|
<div>
|
|
get_buffer
|
|
</div>
|
|
<div>
|
|
get_buffer_by_name
|
|
</div>
|
|
<div>
|
|
buffer_seek
|
|
</div>
|
|
<div>
|
|
buffer_read_range
|
|
</div>
|
|
<div>
|
|
buffer_replace_range
|
|
</div>
|
|
<div>
|
|
buffer_set_setting
|
|
</div>
|
|
<div>
|
|
buffer_auto_indent
|
|
</div>
|
|
<div>
|
|
create_buffer
|
|
</div>
|
|
<div>
|
|
save_buffer
|
|
</div>
|
|
<div>
|
|
kill_buffer
|
|
</div>
|
|
<div>
|
|
get_view_first
|
|
</div>
|
|
<div>
|
|
get_view_next
|
|
</div>
|
|
<div>
|
|
get_view
|
|
</div>
|
|
<div>
|
|
get_active_view
|
|
</div>
|
|
<div>
|
|
view_compute_cursor
|
|
</div>
|
|
<div>
|
|
view_set_cursor
|
|
</div>
|
|
<div>
|
|
view_set_mark
|
|
</div>
|
|
<div>
|
|
view_set_highlight
|
|
</div>
|
|
<div>
|
|
view_set_buffer
|
|
</div>
|
|
<div>
|
|
view_post_fade
|
|
</div>
|
|
<div>
|
|
view_set_paste_rewrite_
|
|
</div>
|
|
<div>
|
|
view_get_paste_rewrite_
|
|
</div>
|
|
<div>
|
|
get_user_input
|
|
</div>
|
|
<div>
|
|
get_command_input
|
|
</div>
|
|
<div>
|
|
get_mouse_state
|
|
</div>
|
|
<div>
|
|
start_query_bar
|
|
</div>
|
|
<div>
|
|
end_query_bar
|
|
</div>
|
|
<div>
|
|
print_message
|
|
</div>
|
|
<div>
|
|
change_theme
|
|
</div>
|
|
<div>
|
|
change_font
|
|
</div>
|
|
<div>
|
|
set_theme_colors
|
|
</div>
|
|
<div>
|
|
get_theme_colors
|
|
</div>
|
|
</body></html>
|