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

Added find all patches algorithm.

Browse Source
This commit is contained in:
Oleg Sh
2021-09-29 21:10:14 +02:00
parent 947a3072ba
commit dc6c90991e
14 changed files with 319 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
script/texts.js
View File

@@ -170,6 +170,15 @@ var g_selectedEdgeStyle = "Selected Edge Style";
var g_commonVertexStyle = "Common Vertex Style";
var g_selectedVertexStyle = "Selected Vertex Style";
// FindAllPatches.js
var g_findAllPathes = "Find all pathes";
var g_numberOfPathesFrom = "Number of pathes from "
var g_to = " to ";
var g_are = " are ";
var g_pathN = "Path #";
var g_selectFinishVertex = "Select finish vertex";
var g_selectStartVertex = "Select start vertex";
function loadTexts()
{
g_textsSelectAndMove = document.getElementById("SelectAndMoveObject").innerHTML;
@@ -347,4 +356,13 @@ function loadTexts()
g_selectedEdgeStyle = document.getElementById("SelectedEdgeStyleText").innerHTML;
g_commonVertexStyle = document.getElementById("CommonVertexStyleText").innerHTML;
g_selectedVertexStyle = document.getElementById("SelectedVertexStyleText").innerHTML;
// FindAllPatches.js
g_findAllPathes = document.getElementById("FindAllPathes").innerHTML;
g_numberOfPathesFrom = document.getElementById("NumberOfPathesFrom").innerHTML;
g_to = document.getElementById("To").innerHTML;
g_are = document.getElementById("Are").innerHTML;
g_pathN = document.getElementById("PathN").innerHTML;
g_selectFinishVertex = document.getElementById("SelectFinishVertex").innerHTML;
g_selectStartVertex = document.getElementById("SelectStartVertex").innerHTML;
}