Standard escape codes are prefixed with Escape:
- Ctrl-Key:
^[ - Octal:
\033 - Unicode:
\u001b - Hexadecimal:
\x1B - Decimal:
27
| fun RepositoryHandler.enableMirror() { | |
| all { | |
| if (this is MavenArtifactRepository) { | |
| val originalUrl = this.url.toString().removeSuffix("/") | |
| urlMappings[originalUrl]?.let { | |
| logger.lifecycle("Repository[$url] is mirrored to $it") | |
| this.setUrl(it) | |
| } | |
| } | |
| } |
| patch: | |
| # 菜单 | |
| menu: | |
| page_size: 8 # 候选词个数 | |
| # alternative_select_labels: [ ①, ②, ③, ④, ⑤, ⑥, ⑦, ⑧, ⑨, ⑩ ] # 修改候选项标签 | |
| # alternative_select_keys: ASDFGHJKL # 如编码字符占用数字键,则需另设选字键 | |
| # ascii_mode、inline、no_inline、vim_mode 等等设定,可参考 /Library/Input Methods/Squirrel.app/Contents/SharedSupport/squirrel.yaml | |
| # 中西文切换 | |
| # | |
| # 【good_old_caps_lock】 CapsLock 切换到大写或切换中英。 |
| // Website you intended to retrieve for users. | |
| const upstream = 'api.openai.com' | |
| // Custom pathname for the upstream website. | |
| const upstream_path = '/' | |
| // Website you intended to retrieve for users using mobile devices. | |
| const upstream_mobile = upstream | |
| // Countries and regions where you wish to suspend your service. |
| /* | |
| * Stripe WebGl Gradient Animation | |
| * All Credits to Stripe.com | |
| * ScrollObserver functionality to disable animation when not scrolled into view has been disabled and | |
| * commented out for now. | |
| * https://kevinhufnagl.com | |
| */ | |
| " :actionlist可以查询所有命令 | |
| " 基本思路 | |
| " w 比如全屏、分屏 | |
| " g 跳转 | |
| " z 比如打开最近修改的文件那种了 | |
| " q 关闭标签 | |
| " e 运行/调试 | |
| " t 任务 | |
| set showmode |
| // SPDX-License-Identifier: AGPL-3.0-or-later | |
| // The ABI encoder is necessary, but older Solidity versions should work | |
| pragma solidity ^0.7.0; | |
| pragma experimental ABIEncoderV2; | |
| // These definitions are taken from across multiple dydx contracts, and are | |
| // limited to just the bare minimum necessary to make flash loans work. | |
| library Types { | |
| enum AssetDenomination { Wei, Par } |
| /* | |
| Copy this into the console of any web page that is interactive and doesn't | |
| do hard reloads. You will hear your DOM changes as different pitches of | |
| audio. | |
| I have found this interesting for debugging, but also fun to hear web pages | |
| render like UIs do in movies. | |
| */ | |
| const audioCtx = new (window.AudioContext || window.webkitAudioContext)() |
| URLClassLoader cl = (URLClassLoader) App.class.getClassLoader(); | |
| URL url = cl.findResource("META-INF/MANIFEST.MF"); | |
| Manifest manifest = new Manifest(url.openStream()); | |
| Attributes attr = manifest.getMainAttributes()); | |
| System.out.println(manifest.getMainAttributes().getValue("Implementation-Title")); |
React recently introduced an experimental profiler API. After discussing this API with several teams at Facebook, one common piece of feedback was that the performance information would be more useful if it could be associated with the events that caused the application to render (e.g. button click, XHR response). Tracing these events (or "interactions") would enable more powerful tooling to be built around the timing information, capable of answering questions like "What caused this really slow commit?" or "How long does it typically take for this interaction to update the DOM?".
With version 16.4.3, React added experimental support for this tracing by way of a new NPM package, scheduler. However the public API for this package is not yet finalized and will likely change with upcoming minor releases, so it should be used with caution.