{0}
\n'.format(txt) 717 | else: 718 | line += '\n' 719 | break 720 | if highlights is not None: 721 | for hl in highlights: 722 | if hl in line: 723 | line = line.replace(hl, '62 |
63 | """ 64 | 65 | CLUSTER_REPORT_EXTRO = """ 66 |67 |
68 | 69 | 74 | 75 | 76 | """ 77 | 78 | # string template ${cluster_list}: 79 | CLUSTER_PY = """# list method index is not (yet) available 80 | def index(l, elmnt): 81 | for idx, el in enumerate(l): 82 | if el == elmnt: 83 | return idx 84 | return -1 # not found 85 | 86 | class Cluster: 87 | def __init__(self): 88 | self.current_cluster = 0 89 | self.list_idx = 0 90 | self.cluster_list = [${cluster_list}] 91 | 92 | def show_cluster(self): 93 | document.getElementById("display_no").innerHTML = self.current_cluster 94 | document.getElementById("cluster_frame").src = "clusters/cluster_{}.html".format(self.current_cluster) 95 | 96 | def get_cluster(self): 97 | cluster = int(document.getElementById("inp_cluster_no").value) 98 | idx = index(self.cluster_list, cluster) 99 | if idx >= 0: 100 | self.current_cluster = cluster 101 | self.list_idx = idx 102 | self.show_cluster() 103 | 104 | def next_cluster(self): 105 | if self.list_idx < len(self.cluster_list) - 1: 106 | self.list_idx += 1 107 | self.current_cluster = self.cluster_list[self.list_idx] 108 | self.show_cluster() 109 | 110 | def prev_cluster(self): 111 | if self.list_idx > 0: 112 | self.list_idx -= 1 113 | self.current_cluster = self.cluster_list[self.list_idx] 114 | self.show_cluster() 115 | 116 | cluster = Cluster() 117 | """ 118 | 119 | CLUSTER_HTML = """ 120 | 121 | 122 | ${style} 123 | 124 | 125 |
131 | Cluster No.:
132 |
133 |
134 | 135 | 136 | 137 |
138 |
53 | | ETA: | 55 | |
Pipeline {} | |
Component | # Records |
LogP color coding:
104 |