public class SegmentExportImport
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
SELECTION_EXPORT
The name of the file with the exported selection
|
static java.lang.String |
SOURCE_EXPORT
The name of the file with the source exported segment
|
static java.lang.String |
TARGET_EXPORT
The name of the file with the target exported segment
|
Constructor and Description |
---|
SegmentExportImport(EditorController controller) |
Modifier and Type | Method and Description |
---|---|
void |
exportCurrentSegment(SourceTextEntry ste)
Export the current source and target segments in text files.
|
static void |
exportCurrentSelection(java.lang.String selection) |
static void |
flushExportedSegments()
Empties the exported segments.
|
public static final java.lang.String SELECTION_EXPORT
public static final java.lang.String TARGET_EXPORT
public static final java.lang.String SOURCE_EXPORT
public SegmentExportImport(EditorController controller)
public void exportCurrentSegment(SourceTextEntry ste)
public static void exportCurrentSelection(java.lang.String selection)
public static void flushExportedSegments()