blob: 27ea6fedaf1e82c02d6a337a9ec013af96568f6e (
plain)
1
2
3
4
5
6
|
from libghdl import libghdl
Set_Gap = libghdl.files_map__editor__set_gap
Replace_Text = libghdl.files_map__editor__replace_text_ptr
Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content
|