mirrors/graphonline
1
0
Fork 0
mirror of https://github.com/UnickSoft/graphonline.git synced 2026-04-11 18:26:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added style dialogs for edges and vertexes

Browse Source
This commit is contained in:
Unick Soft
2019-07-07 21:15:30 +02:00
parent c6df88cf3d
commit 5ba794dc34
11 changed files with 536 additions and 75 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
script/texts.js
View File

@@ -23,6 +23,7 @@ var g_notOrintEdge = "not Orient";
var g_adjacencyMatrixText = "Adjacency Matrix";
var g_save = "Save";
var g_cancel = "Cancel";
var g_save_graph = "Save Graph";
var g_shortestDistance = "lowest-distance is ";
var g_incidenceMatrixText = "Incidence Matrix";
@@ -98,6 +99,9 @@ var g_traversalOrder = "Traversal order: ";
var g_curveEdge = "Curved edge";
var g_Undo = "Undo";
var g_default = "default";
var g_vertexDraw = "Vertex draw style";
var g_edgeDraw = "Edge draw style";
function loadTexts()
{
@@ -120,9 +124,9 @@ function loadTexts()
g_save = document.getElementById("Save").innerHTML;
g_cancel = document.getElementById("Cancel").innerHTML;
g_shortestDistance = document.getElementById("shortestDist").innerHTML;
g_shortestDistance = document.getElementById("shortestDist").innerHTML;
g_incidenceMatrixText = document.getElementById("IncidenceMatrixText").innerHTML;
g_incidenceMatrixText = document.getElementById("IncidenceMatrixText").innerHTML;
g_save_dialog = document.getElementById("saveDialogTitle").innerHTML;
g_close = document.getElementById("closeButton").innerHTML;
@@ -196,5 +200,9 @@ function loadTexts()
g_curveEdge = document.getElementById("curveEdge").innerHTML;
g_Undo = document.getElementById("undoTranslate").innerHTML;
g_Undo = document.getElementById("undoTranslate").innerHTML;
g_save_graph = document.getElementById("saveGraph").innerHTML;
g_default = document.getElementById("default").innerHTML;
g_vertexDraw = document.getElementById("vertexDrawStyle").innerHTML;
g_edgeDraw = document.getElementById("edgeDrawStyle").innerHTML;
}