You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter. Indent-Rainbow A simple extension to make indentation more readable If you use this plugin a lot, please consider a donation: This extension colorizes the indentation in front of your text, alternating four different colors on each step. Some may find it helpful in writing code for Python, Nim, Yaml, and probably eve
Your personal research assistant Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share research. Download Available for Mac, Windows, Linux, iOS, and Android Just need to create a quick bibliography? Try ZoteroBib. Collect with a click. Zotero automatically senses research as you browse the web. Need an article from JSTOR or a preprint from arXiv.org? A news s
It’s the end of 2021, and Chrome extensions are still a thing. Quite a big thing, actually—as the world continues to move from work-from-home to a hybrid work environment, the tools and customizations offered by Chrome extensions are perhaps more critical than ever. These browser add-ons help you work, save time, and stay connected—and some of them are just fun. As it’s the end of the year, Google
Join a VS Code Dev Days event near you to learn about AI-assisted development in VS Code. October 20, 2021 by Chris Dias, @chrisdias Back in 2019, when the .dev top-level domain opened, we picked up vscode.dev and quickly parked it, pointing at our website code.visualstudio.com (or, if you are from the Boston area like me, we "pahked it"). Like a lot of people who buy a .dev domain, we had no idea
JShelter is a browser extension to give you control over what your browser is doing. A JavaScript-enabled web page can access much of the browser's functionality, with little control over this process available to the user: malicious websites can uniquely identify you through fingerprinting and use other tactics for tracking your activity. JShelter improves the privacy and security of your web bro
Your browser does not support the features we need. Try using the most recent version of Chrome, Firefox, Safari or Edge.
• Use your text editor in the browser Whenever you’re writing more than a little snippet of code anywhere on the web, activate GhostText to open your preferred text editor and enjoy your own development environment. Installation GhostText is a browser extension that connects to your editor via its own extension. Install both extensions and, if necessary, start the GhostText server in the editor’s
Violentmonkey provides userscripts support for browsers. Features Powerful Customize web pages. Automate your work. Data on the cloud Sync to Dropbox, OneDrive, Google Drive, or a WebDAV service. Sync between different browsers. User-friendly Keep simple, no need to make choices. Communicate with external editors. NOTE This extension does not contain any ads and does not modify web pages automatic
Extensions often need to inject code into every page, rather than only targeting certain domains. Password managers need to check if there's a login form. Spell checkers need to look for text fields. However, for performance it would be much better if the code that checks the relevant conditions was separated from the primary functionality of the extension. Then most of the code would only be load
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く