annotate .cms/lib/codemirror/mode/tcl/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Tcl mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <link rel="stylesheet" href="../../theme/night.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="tcl.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../../addon/scroll/scrollpastend.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a class=active href="#">Tcl</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <h2>Tcl mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 ## ## whois.tcl for eggdrop by Ford_Lawnmower irc.geekshed.net #Script-Help ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 ## To use this script you must set channel flag +whois (ie .chanset #chan +whois) ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 ## ____ __ ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 ## / __/___ _ ___ _ ___/ /____ ___ ___ ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 ## / _/ / _ `// _ `// _ // __// _ \ / _ \ ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 ## /___/ \_, / \_, / \_,_//_/ \___// .__/ ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 ## /___/ /___/ /_/ ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 ## ########################################### ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 ## ## Start Setup. ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 namespace eval whois {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 ## change cmdchar to the trigger you want to use ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 variable cmdchar "!"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 ## change command to the word trigger you would like to use. ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 ## Keep in mind, This will also change the .chanset +/-command ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 variable command "whois"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 ## change textf to the colors you want for the text. ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 variable textf "\017\00304"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 ## change tagf to the colors you want for tags: ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 variable tagf "\017\002"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 ## Change logo to the logo you want at the start of the line. ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 variable logo "\017\00304\002\[\00306W\003hois\00304\]\017"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 ## Change lineout to the results you want. Valid results are channel users modes topic ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 variable lineout "channel users modes topic"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 ## ## End Setup. ## ##
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 ##############################################################################################
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 variable channel ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 setudef flag $whois::command
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 bind pub -|- [string trimleft $whois::cmdchar]${whois::command} whois::list
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 bind raw -|- "311" whois::311
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 bind raw -|- "312" whois::312
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 bind raw -|- "319" whois::319
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 bind raw -|- "317" whois::317
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 bind raw -|- "313" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 bind raw -|- "310" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 bind raw -|- "335" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 bind raw -|- "301" whois::301
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 bind raw -|- "671" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 bind raw -|- "320" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 bind raw -|- "401" whois::multi
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 bind raw -|- "318" whois::318
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 bind raw -|- "307" whois::307
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 proc whois::311 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 if {[regexp -- {^[^\s]+\s(.+?)\s(.+?)\s(.+?)\s\*\s\:(.+)$} $text wholematch nick ident host realname]} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Host:${whois::textf} \
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 $nick \(${ident}@${host}\) ${whois::tagf}Realname:${whois::textf} $realname"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 proc whois::multi {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if {[regexp {\:(.*)$} $text match $key]} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Note:${whois::textf} [subst $$key]"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 return 1
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 proc whois::312 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 regexp {([^\s]+)\s\:} $text match server
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Server:${whois::textf} $server"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 proc whois::319 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if {[regexp {.+\:(.+)$} $text match channels]} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Channels:${whois::textf} $channels"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 proc whois::317 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 if {[regexp -- {.*\s(\d+)\s(\d+)\s\:} $text wholematch idle signon]} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Connected:${whois::textf} \
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 [ctime $signon] ${whois::tagf}Idle:${whois::textf} [duration $idle]"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 proc whois::301 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if {[regexp {^.+\s[^\s]+\s\:(.*)$} $text match awaymsg]} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Away:${whois::textf} $awaymsg"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 proc whois::318 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 namespace eval whois {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 variable channel ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 variable whois::channel ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 proc whois::307 {from key text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 putserv "PRIVMSG $whois::channel :${whois::logo} ${whois::tagf}Services:${whois::textf} Registered Nick"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 proc whois::list {nick host hand chan text} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 if {[lsearch -exact [channel info $chan] "+${whois::command}"] != -1} {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 namespace eval whois {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 variable channel ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 variable whois::channel $chan
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 putserv "WHOIS $text"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 putlog "\002*Loaded* \017\00304\002\[\00306W\003hois\00304\]\017 \002by \
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 Ford_Lawnmower irc.GeekShed.net #Script-Help"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 theme: "night",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 indentUnit: 2,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 scrollPastEnd: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 mode: "text/x-tcl"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 <p><strong>MIME types defined:</strong> <code>text/x-tcl</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 </article>