Skip to content

Commit 8a97ceb

Browse files
author
saharmehrpour
committed
lib Bootstrap is used, some name convention modification, violation links are working
1 parent 5ecb47e commit 8a97ceb

16 files changed

Lines changed: 850 additions & 1049 deletions

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#misc
2+
.DS_Store

.idea/workspace.xml

Lines changed: 367 additions & 321 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,6 +79,7 @@ about tags. Here is an example for this file:
7979
"tagName": "constructor",
8080
"detail": "detail about tag 'constructor'"
8181
}
82+
]
8283
```
8384

8485
The format of this file is not final.
Binary file not shown.

src/GrepServerToolWindowFactory.java

Lines changed: 1 addition & 66 deletions
Original file line numberDiff line numberDiff line change
@@ -95,72 +95,6 @@ public void createToolWindowContent(@NotNull Project project, @NotNull ToolWindo
9595
JComponent component = toolWindow.getComponent();
9696
component.add(fxPanel);
9797

98-
// // test
99-
// //String ruleFilePath = project.getBasePath() + "/ruleJson.txt";
100-
//
101-
//
102-
// String JSON_ARR = "["
103-
// + "{ \"geodata\": ["
104-
// + " {"
105-
// + " \"id\": \"1\","
106-
// + " \"name\": \"Julie Sherman\","
107-
// + " \"gender\" : \"female\","
108-
// + " \"latitude\" : \"37.33774833333334\","
109-
// + " \"longitude\" : \"-121.88670166666667\""
110-
// + " },"
111-
// + " {"
112-
// + " \"id\": \"2\","
113-
// + " \"name\": \"Johnny Depp\","
114-
// + " \"gender\" : \"male\","
115-
// + " \"latitude\" : \"37.336453\","
116-
// + " \"longitude\" : \"-121.884985\""
117-
// + " }"
118-
// + " ]"
119-
// + "},"
120-
// + "{ \"geodata\": ["
121-
// + " {"
122-
// + " \"id\": \"3\","
123-
// + " \"name\": \"Juman\","
124-
// + " \"gender\" : \"female\","
125-
// + " \"latitude\" : \"3334\","
126-
// + " \"longitude\" : \"-7\""
127-
// + " },"
128-
// + " {"
129-
// + " \"id\": \"4\","
130-
// + " \"name\": \"John\","
131-
// + " \"gender\" : \"male\","
132-
// + " \"latitude\" : \"353\","
133-
// + " \"longitude\" : \"-15\""
134-
// + " }"
135-
// + " ]"
136-
// + "}]";
137-
// try {
138-
// JSONArray objArr = new JSONArray(JSON_ARR);
139-
// int m = objArr.length();
140-
// for (int j = 0; j < m; ++j) {
141-
//
142-
// JSONObject obj = objArr.getJSONObject(j);
143-
// JSONArray geodata = obj.getJSONArray("geodata");
144-
// int n = geodata.length();
145-
// for (int i = 0; i < n; ++i) {
146-
// JSONObject person = geodata.getJSONObject(i);
147-
// System.out.println(person.getInt("id"));
148-
// System.out.println(person.toString());
149-
// System.out.println("====");
150-
//// System.out.println(person.getString("name"));
151-
//// System.out.println(person.getString("gender"));
152-
//// System.out.println(person.getDouble("latitude"));
153-
//// System.out.println(person.getDouble("longitude"));
154-
// }
155-
//
156-
// }
157-
// //System.out.println(objArr.toString());
158-
//
159-
// } catch (JSONException e) {
160-
// System.out.println("errrorrr");
161-
// e.printStackTrace();
162-
// }
163-
16498

16599
}
166100

@@ -170,6 +104,7 @@ private synchronized void publishServices() {
170104
webEngine.setJavaScriptEnabled(true);
171105
File file = new File("/Users/saharmehrpour/Documents/Workspace/ActiveDocumentation/website-client/chat.html");
172106
webEngine.load(file.toURI().toURL().toString());
107+
// webEngine.load("http://localhost:3000/");
173108
} catch (Exception ex) {
174109
System.err.print("error " + ex.getMessage());
175110
ex.printStackTrace();

website-client/chat.html

Lines changed: 29 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -9,46 +9,48 @@
99
</head>
1010

1111
<body>
12-
<nav id="header_1">
13-
<div class="nav-wrapper">
14-
<ul class="left hide-on-med-and-down">
15-
<li><a id="back_button" class="inactive"> < </a></li>
16-
<li><a id="forward_button" class="inactive"> > </a></li>
12+
<nav id="header_1" class="navbar navbar-inverse">
13+
<div class="container-fluid">
14+
<ul class="nav navbar-nav">
15+
<li><a id="back_button" class="inactive">Previous</a></li>
16+
<li><a id="forward_button" class="inactive">Next</a></li>
1717
</ul>
18-
<ul class="right hide-on-med-and-down">
19-
<li><a id="link_lists">Table of Content</a></li>
20-
<li><a id="link_rule_result">Rules</a></li>
21-
<li><a id="link_generate_rules">Generate Rules</a></li>
18+
<ul class="nav navbar-nav navbar-right">
19+
<li><a href="#/index">Table of Content</a></li>
20+
<li><a href="#/rules">Rules</a></li>
21+
<li class="disabled"><a>Generate Rules</a></li>
2222
</ul>
2323
</div>
24+
2425
</nav>
2526

26-
<nav id="header_2" class="hidden">
27-
<div class="nav-wrapper">
28-
<div class="container">
29-
<input type="text" class="brand-logo center" value="Active Documentation" id="page_title">
27+
<div id="header_2" class="hidden container">
28+
<div class="panel panel-info">
29+
<div class="panel-heading text-center">
30+
<h3 id="page_title"></h3>
31+
<!--<input type="text" class="form-control input-lg center" value="Active Documentation" id="page_title">-->
3032
</div>
3133
</div>
32-
</nav>
34+
</div>
3335

34-
<br>
3536

3637
<!--<div class="container center-align" style="padding: 10px">-->
3738
<!--<textarea id="debug_output" style="height: 200px;width: 400px;"></textarea>-->
3839
<!--</div>-->
3940

4041

41-
<div id="tableOfContent" class="main">
42+
<div id="tableOfContent" class="main container">
4243
<div class="container">
43-
<div class="darkNarrowBorderBottom">
44+
<div class="well well-sm">
4445
<h4>Tags</h4>
4546
</div>
46-
<div id="alphabet_index"></div>
47-
<ul id="tags_list"></ul>
48-
<div class="darkNarrowBorderBottom">
47+
<div id="alphabet_index" class="list-inline"></div>
48+
<hr class="bottomBorder">
49+
<ul id="tags_list" class="list-inline"></ul>
50+
<div class="well well-sm">
4951
<h4>Rules</h4>
5052
</div>
51-
<ul id="rules_list"></ul>
53+
<div id="rules_list" class="list-group"></div>
5254
</div>
5355
</div>
5456

@@ -94,9 +96,13 @@ <h4>Rules</h4>
9496
</div>
9597

9698

97-
<script type="text/javascript" src="js/jquery-2.1.1.min.js"></script>
99+
<!--<script type="text/javascript" src="js/jquery-2.1.1.min.js"></script>-->
98100
<script type="text/javascript" src="js/d3/d3.js"></script>
99-
<script type="text/javascript" src="js/prototype.js"></script>
101+
<!--<script type="text/javascript" src="js/prototype.js"></script>-->
102+
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">
103+
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script>
104+
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
105+
100106

101107
<script type="text/javascript" src="utilities.js"></script>
102108
<script type="text/javascript" src="urlChangingHandling.js"></script>

0 commit comments

Comments
 (0)