Google Chrome Extension Numbers on the Icon - Stack Overflow

Chrome Extension

@mishka

Preserve linebreaks/newlines in selected text in chrome.contextMenus Google Chrome Extension Numbers on the Icon - Stack Overflow

#chrome

Google Chrome Extension Numbers on the Icon - Stack Overflow

chrome.browserAction.setBadgeText({text: "10+"}); // We have 10+ unread items.

#javascript #extension #chrome

Chrome Extension Permissions Utilities (manifest V3)

const permissions = {
   async add(permission = [], origins = []){
      if (!origins?.length){origins = undefined};
      if (typeof permission === "string"){permission = [permission]};
      return new Promise((r, reject) => {
         chrome.permissions.request(
            {permissions: permission, origins},
            (granted) => {
               if (!granted){
                  reject("Permission not granted");
               } else {
                  r();
               }
            }
         )
      })
   },
   async remove(permission = [], origins = []){
      if (!origins?.length){origins = undefined};
      if (typeof permission === "string"){permission = [permission]};
      return new Promise((r, reject) => {
         chrome.permissions.remove(
            {permissions: permission, origins},
            (removed) => {
               if (!removed){
                  reject("Permission not removed");
               } else {
                  r();
               }
            }
         )
      })
   },
   async with(permission = [], origins = [], func){
      if (!origins?.length){origins = undefined};
      if (typeof permission === "string"){permission = [permission]};
      await new Promise((r, reject) => {
         chrome.permissions.request(
            {permissions: permission, origins},
            (granted) => {
               if (!granted){
                  reject("Permission not granted");
               } else {
                  r();
               }
            }
         )
      });
      let out = await func();
      await new Promise((r, reject) => {
         chrome.permissions.remove(
            {permissions: permission, origins},
            (removed) => {
               if (!removed){
                  reject("Permission not removed");
               } else {
                  r();
               }
            }
         )
      })
      return out;
   },
}

#javascript #chrome #extension

Get the active tab in a chrome extension (includes fallbacks)

function getActiveTab(){
   return new Promise((r, reject) => {
      chrome.tabs.query({
         active: true,
         lastFocusedWindow: true,
      }, (tabs) => {
         if (tabs.length){
            r(tabs[0]);
         } else {
            chrome.tabs.query({}, tabs => {
               if (tabs.length){
                  if (tabs.length === 1){
                     r(tabs[0]);
                  } else if (tabs.find(i => i.active)){
                     r(tabs.find(i => i.active))
                  } else {
                     reject("No tab found");
                  }
               } else {
                  reject("No tab found");
               }
            })
         }
      })
   });
}

#javascript #chrome #extension

Set key-values in chrome extension storage

const storage = {
   async set(key, value){
      return new Promise(resolve => {
         chrome.storage.local.set({[key]: value}, (a) => resolve(a[key]))
      })
   },
   get(key){
      return new Promise(resolve => {
         chrome.storage.local.get([key], (a) => resolve(a[key]));
      })
   }
}

#devtools #chrome #console

Make the current document editable

document.designMode = 'on'

#chrome #devtools #console

List of all data from a GET URL

copy(
  Array.from(new URLSearchParams(window.location.search))
       .map(([key,val]) => `${key}: ${val}`)
       .join("\n")
)

#devtools #chrome #console

Table of contents of the document indented by heading level

copy($$('h1,h2,h3,h4,h5,h6')
  .map(h => '\t'.repeat(h.tagName.slice(-1)-1) + 
        '- ' + h.innerText.trim())
.join('\n'))

#chrome #extensions #chrome_extesnions #export #browser

DJ X-PAT 254 CHROME BROWSER EXTENSIONS EXPORT

<!DOCTYPE html>
<html>

<head>
    <meta charset="UTF-8">
    <title>Extensions</title>
    <meta name="viewport" content="width=device-width">

    <style>
        body {
            margin: 0;
            padding: 30px;
            font-family: droid sans, segoe ui, ubuntu, sans-serif
        }
        
        h2 {
            margin: 0 0 5px 0;
            font-size: 20px;
            font-weight: bold
        }
        
        h2.disabled {
            margin-top: 30px
        }
        
        h2.enabled, ol.enabled a {
            color: #1b5e20
        }
        
        h2.disabled, ol.disabled a {
            color: #b71c1c
        }
        
        ol {
            margin: 0;
            padding: 0
        }
        
        li {
            margin: 0 0 5px 30px;
            font-size: 16px
        }
        
        a {
            text-decoration: none
        }
        
        a:hover {
            text-decoration: underline
        }
    </style>
</head>

<body>
    <h2 class="enabled">Enabled</h2>
    <ol class="enabled">
        <li><a href="https://chrome.google.com/webstore/detail/lpakoahdokkkonadfppfgmednkknpgbm" target="_blank" title="Multiple methods to change text case.">Change Case</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/hhkdailooaapiplkadgdkkllbnkjpbel" target="_blank" title="Allows you to save, unzip any URL (Drive file..) directly to Google Drive. Unzip, Un7z, Untar to any folder. Copy folder, file.">Copy, URL to Google Drive™</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/alfnmfbjmlaaocpefnekdkfioediicch" target="_blank" title="Export name and url of all installed extensions in Google Chrome">Export all extensions</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/himccccaelhgphommckogopgpddngimf" target="_blank" title="Elementary extension manager. Compact design, no superfluous features.">Extension Control</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/ghbmnnjooekpmoecnnnilnnbdlolhkhi" target="_blank" title="Edit, create, and view your documents, spreadsheets, and presentations — all without internet access.">Google Docs Offline</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/aapbdbdomjkkjkaonfhkkikfgjllcleb" target="_blank" title="View translations easily as you browse the web. By the Google Translate team.">Google Translate</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/ngpampappnmepgilojfohadhhmbhlaek" target="_blank" title="Download files with Internet Download Manager">IDM Integration Module</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mapbjomepcjikhdlcpipcpkeembagldp" target="_blank" title="Bookmark Viewer/Editor: no uploads reqd.(offline), full tab view.">online / offline Bookmark Manager</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/annlhfjgbkfmbbejkbdpgbmpbcjnehbb" target="_blank" title="Save, organize &amp; share code snippets that work">Save Code</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/adnkagodbfngmdajbbocegjnllfmdaie" target="_blank" title="Save files from the Internet to your 4shared account with one click.">Save to 4shared</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/jmfikkaogpplgnfjmbjdpalkhclendgd" target="_blank" title="Save things you want to come back to later.">Save to Facebook</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/gmbmikajjgmnabiglmofipeabaddhgne" target="_blank" title="Save web content or screen capture directly to Google Drive.">Save to Google Drive</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/gpnebajhkedajplkepiafghcfoljbgmk" target="_blank" title="Free Unblocker for YouTube. This extension lets you unblock and watch YouTube if it’s blocked by your ISP or network administrator.">Unblocker for YouTube</a></li>
    </ol>


    <h2 class="disabled">Disabled</h2>
    <ol class="disabled">
        <li><a href="https://chrome.google.com/webstore/detail/pbcpfbcibpcbfbmddogfhcijfpboeaaf" target="_blank" title="Customize any website with your own CSS and see your changes instantly with Amino!">Amino: Live CSS Editor</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/doiagnjlaingkmdjlbfalakpnphfmnoh" target="_blank" title="Extension for redirecting your Ad-Link automatically.">Auto Link Bypasser</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/nlipoenfbbikpbjkfpfillcgkoblgpmj" target="_blank" title="The best screen recorder and screen capture tool to record screen. Capture ChatGPT">Awesome ChatGPT Screenshot &amp; Screen Recorder</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/nkihdmlheodkdfojglpcjjmioefjahjb" target="_blank" title="Instantly test your webpage on any desktop or mobile browser.">BrowserStack</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mpbjkejclgfgadiemmefgebjfooflfhl" target="_blank" title="Save time by asking Buster to solve captchas for you.">Buster: Captcha Solver for Humans</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/pkgejkfioihnchalojepdkefnpejomgn" target="_blank" title="Eyedropper, color picker, palette creator, and more!">Chroma: Ultimate Eyedropper &amp; Color Picker</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/jmbmjnojfkcohdpkpjmeeijckfbebbon" target="_blank" title="Extension for automating chromium browser, Create project -&gt; Record -&gt; Edit Automation -&gt; Manage -&gt; Play">Chromium browser automation</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/bhlhnicpbhignbdhedgjhgdocnmhomnp" target="_blank" title="Advanced Eyedropper, Color Picker, Gradient Generator and other colorful goodies">ColorZilla</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/gbbpfmmjcaakdmhlnjfdlhlehoeikbic" target="_blank" title="You can directly export your saved and unsaved numbers from WhatsApp groups and chats.">Contact Download for WhatsApp Web</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/hlkenndednhfkekhgcdicdfddnkalmdm" target="_blank" title="Simple yet powerful Cookie Editor that allow you to quickly create, edit and delete cookies without leaving your tab.">Cookie-Editor</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/dmlgmehijaodgkkooghkknjjkddahmej" target="_blank" title="A handy generator for all of your CSS3 needs from within the browser">CSS3 Generator</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/lgblnfidahcdcjddiepkckcfdhpknnjh" target="_blank" title="Block annoying ads, popups, malware and tracking (even on Facebook &amp; Youtube), browse faster, and protect your privacy.">Fair AdBlocker</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mefgmmbdailogpfhfblcnnjfmnpnmdfa" target="_blank" title="Advanced Feed Reader - Read news &amp; blogs or any RSS/Atom/RDF source.">Feedbro</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/eljapbgkmlngdpckoiiibecpemleclhh" target="_blank" title="Speed up your design workflow!">Fonts Ninja</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mlomiejdfkolichcflejclcbmpeaniij" target="_blank" title="Ghostery is a powerful privacy extension. Block ads, stop trackers and speed up websites.">Ghostery – Privacy Ad Blocker</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/cplklnmnlbnpmjogncfgfijoopmnlemp" target="_blank" title="Automate your web browser. Record and replay repetitious work">iMacros for Chrome</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/ofaokhiedipichpaobibbnahnkdoiiah" target="_blank" title="Instant Data Scraper extracts data from web pages and exports it as Excel or CSV files">Instant Data Scraper</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/hdokiejnpimakedhajhdlcegeplioahd" target="_blank" title="LastPass, an award-winning password manager, saves your passwords and gives you secure access from every computer and mobile device.">LastPass: Free Password Manager</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/blipmdconlkpinefehnmjammfjpmpbjk" target="_blank" title="Lighthouse">Lighthouse</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mbniclmhobmnbdlbpiphghaielnnpgdp" target="_blank" title="Simple and convenient screenshot tool. Select an area, edit your screenshot and upload it to the server.">Lightshot (screenshot tool)</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/ifhikkcafabcgolfjegfcgloomalapol" target="_blank" title="Live preview of CSS/Less/Sass code changes. Auto-save file, autocomplete, Less/Sass to CSS, beautify, CSS reloader, lint, ...">Live editor for CSS, Less &amp; Sass - Magic CSS</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/bdjeogoajilmceaemepogjldihohcgph" target="_blank" title="Proxy Switch is an ultimate proxy manager for easily management.It does provide many features.">Proxy Switch by Proxy-Hub</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/fmkadmapgofadopljbjfkapdkoienihi" target="_blank" title="Adds React debugging tools to the Chrome Developer Tools.

Created from revision 2468a8735 on 5/19/2023.">React Developer Tools</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/pnjaodmkngahhkoihejjehlcdlnohgmp" target="_blank" title="Get a simple overview of your RSS and Atom feeds in the toolbar">RSS Feed Reader</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mmeijimgabbpbgpdklnllpncmdofkcpn" target="_blank" title="The #1 screen recorder for Chrome. Capture, edit and share videos in seconds.">Screencastify - Screen Video Recorder</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/dkbihgadoohejmlhpffffbmbhmkhjbfi" target="_blank" title="Freely export the required bookmarks as HTML file">Selective Bookmarks Export Tool</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/megbklhjamjbcafknkgmokldgolkdfig" target="_blank" title="Using websites with multiple accounts at the same time is made easy. Create an independent tab with a click of a button.">SessionBox - Multi login to any website</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/hoklmmgfnpapgjgcpechhaamimifchmp" target="_blank" title="See website traffic and key metrics for any website, including engagement rate, traffic ranking, keyword ranking and traffic source.">Similarweb - Traffic Rank &amp; Website Analysis</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/lnddbhdmiciimpkbilgpklcglkdegdkg" target="_blank" title="A web scraper that&#39;s fast, free and simple to use. Scrape website data and table data in seconds">Simplescraper — a fast and free web scraper</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/ifmhoabcaeehkljcfclfiieohkohdgbb" target="_blank" title="Social Fixer for Facebook lets you filter your news feed, hide things you don&#39;t want to see, and more!">Social Fixer for Facebook</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mafcolokinicfdmlidhaebadidhdehpk" target="_blank" title="Simply Download &amp; Save stories from Facebook, Instagram, and WhatsApp.">Story Saver</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mpbmflcodadhgafbbakjeahpandgcbch" target="_blank" title="Download and optimize icons, logos, and vector SVGs.">SVG Gobbler</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/mjnohlnebmjeoplfnmdkcjfpenkgnahi" target="_blank" title="Simple screenshot tool, select the area which you want to capture and upload or download it">UploadCC: Screen Capture Tool (Share or Save)</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/iahamcpedabephpcgkeikbclmaljebjp" target="_blank" title="Analyses any web page for violations of best practices">Web Developer Checklist</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/jnhgnonknehpejjnehehllkliplmbmhn" target="_blank" title="Web data extraction tool with an easy point-and-click interface for modern web">Web Scraper - Free Web Scraping</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/nljcdkjpjnhlilgepggmmagnmebhadnk" target="_blank" title="Get free on-page SEO report with the best website SEO checker. Use SEO analysis to do audit for the most valuable pages at first.">Website SEO Checker: Free Audit &amp; Analysis</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/jabopobgcpjmedljpbcaablpmlmfcogm" target="_blank" title="The easiest way to identify fonts on web pages.">WhatFont</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/elnocalmhgohlhjlpabeanaplckehhpl" target="_blank" title="Product scraper for Woocommerce - Extract products to Excel and CSV">Woocommerce Spy</a></li>
        <li><a href="https://chrome.google.com/webstore/detail/bgdpllcnhcmpfcheafdhimpklhjoommn" target="_blank" title="Save CSS changes made in developer tools, directly to the Wordpress stylesheet.">Wordpress Style Editor</a></li>
    </ol>
</body>

</html>

<!--
......................................................
                     Enabled
......................................................

Change Case
https://chrome.google.com/webstore/detail/lpakoahdokkkonadfppfgmednkknpgbm

Copy, URL to Google Drive™
https://chrome.google.com/webstore/detail/hhkdailooaapiplkadgdkkllbnkjpbel

Export all extensions
https://chrome.google.com/webstore/detail/alfnmfbjmlaaocpefnekdkfioediicch

Extension Control
https://chrome.google.com/webstore/detail/himccccaelhgphommckogopgpddngimf

Google Docs Offline
https://chrome.google.com/webstore/detail/ghbmnnjooekpmoecnnnilnnbdlolhkhi

Google Translate
https://chrome.google.com/webstore/detail/aapbdbdomjkkjkaonfhkkikfgjllcleb

IDM Integration Module
https://chrome.google.com/webstore/detail/ngpampappnmepgilojfohadhhmbhlaek

online / offline Bookmark Manager
https://chrome.google.com/webstore/detail/mapbjomepcjikhdlcpipcpkeembagldp

Save Code
https://chrome.google.com/webstore/detail/annlhfjgbkfmbbejkbdpgbmpbcjnehbb

Save to 4shared
https://chrome.google.com/webstore/detail/adnkagodbfngmdajbbocegjnllfmdaie

Save to Facebook
https://chrome.google.com/webstore/detail/jmfikkaogpplgnfjmbjdpalkhclendgd

Save to Google Drive
https://chrome.google.com/webstore/detail/gmbmikajjgmnabiglmofipeabaddhgne

Unblocker for YouTube
https://chrome.google.com/webstore/detail/gpnebajhkedajplkepiafghcfoljbgmk



......................................................
                     Disabled
......................................................

Amino: Live CSS Editor
https://chrome.google.com/webstore/detail/pbcpfbcibpcbfbmddogfhcijfpboeaaf

Auto Link Bypasser
https://chrome.google.com/webstore/detail/doiagnjlaingkmdjlbfalakpnphfmnoh

Awesome ChatGPT Screenshot & Screen Recorder
https://chrome.google.com/webstore/detail/nlipoenfbbikpbjkfpfillcgkoblgpmj

BrowserStack
https://chrome.google.com/webstore/detail/nkihdmlheodkdfojglpcjjmioefjahjb

Buster: Captcha Solver for Humans
https://chrome.google.com/webstore/detail/mpbjkejclgfgadiemmefgebjfooflfhl

Chroma: Ultimate Eyedropper & Color Picker
https://chrome.google.com/webstore/detail/pkgejkfioihnchalojepdkefnpejomgn

Chromium browser automation
https://chrome.google.com/webstore/detail/jmbmjnojfkcohdpkpjmeeijckfbebbon

ColorZilla
https://chrome.google.com/webstore/detail/bhlhnicpbhignbdhedgjhgdocnmhomnp

Contact Download for WhatsApp Web
https://chrome.google.com/webstore/detail/gbbpfmmjcaakdmhlnjfdlhlehoeikbic

Cookie-Editor
https://chrome.google.com/webstore/detail/hlkenndednhfkekhgcdicdfddnkalmdm

CSS3 Generator
https://chrome.google.com/webstore/detail/dmlgmehijaodgkkooghkknjjkddahmej

Fair AdBlocker
https://chrome.google.com/webstore/detail/lgblnfidahcdcjddiepkckcfdhpknnjh

Feedbro
https://chrome.google.com/webstore/detail/mefgmmbdailogpfhfblcnnjfmnpnmdfa

Fonts Ninja
https://chrome.google.com/webstore/detail/eljapbgkmlngdpckoiiibecpemleclhh

Ghostery – Privacy Ad Blocker
https://chrome.google.com/webstore/detail/mlomiejdfkolichcflejclcbmpeaniij

iMacros for Chrome
https://chrome.google.com/webstore/detail/cplklnmnlbnpmjogncfgfijoopmnlemp

Instant Data Scraper
https://chrome.google.com/webstore/detail/ofaokhiedipichpaobibbnahnkdoiiah

LastPass: Free Password Manager
https://chrome.google.com/webstore/detail/hdokiejnpimakedhajhdlcegeplioahd

Lighthouse
https://chrome.google.com/webstore/detail/blipmdconlkpinefehnmjammfjpmpbjk

Lightshot (screenshot tool)
https://chrome.google.com/webstore/detail/mbniclmhobmnbdlbpiphghaielnnpgdp

Live editor for CSS, Less & Sass - Magic CSS
https://chrome.google.com/webstore/detail/ifhikkcafabcgolfjegfcgloomalapol

Proxy Switch by Proxy-Hub
https://chrome.google.com/webstore/detail/bdjeogoajilmceaemepogjldihohcgph

React Developer Tools
https://chrome.google.com/webstore/detail/fmkadmapgofadopljbjfkapdkoienihi

RSS Feed Reader
https://chrome.google.com/webstore/detail/pnjaodmkngahhkoihejjehlcdlnohgmp

Screencastify - Screen Video Recorder
https://chrome.google.com/webstore/detail/mmeijimgabbpbgpdklnllpncmdofkcpn

Selective Bookmarks Export Tool
https://chrome.google.com/webstore/detail/dkbihgadoohejmlhpffffbmbhmkhjbfi

SessionBox - Multi login to any website
https://chrome.google.com/webstore/detail/megbklhjamjbcafknkgmokldgolkdfig

Similarweb - Traffic Rank & Website Analysis
https://chrome.google.com/webstore/detail/hoklmmgfnpapgjgcpechhaamimifchmp

Simplescraper — a fast and free web scraper
https://chrome.google.com/webstore/detail/lnddbhdmiciimpkbilgpklcglkdegdkg

Social Fixer for Facebook
https://chrome.google.com/webstore/detail/ifmhoabcaeehkljcfclfiieohkohdgbb

Story Saver
https://chrome.google.com/webstore/detail/mafcolokinicfdmlidhaebadidhdehpk

SVG Gobbler
https://chrome.google.com/webstore/detail/mpbmflcodadhgafbbakjeahpandgcbch

UploadCC: Screen Capture Tool (Share or Save)
https://chrome.google.com/webstore/detail/mjnohlnebmjeoplfnmdkcjfpenkgnahi

Web Developer Checklist
https://chrome.google.com/webstore/detail/iahamcpedabephpcgkeikbclmaljebjp

Web Scraper - Free Web Scraping
https://chrome.google.com/webstore/detail/jnhgnonknehpejjnehehllkliplmbmhn

Website SEO Checker: Free Audit & Analysis
https://chrome.google.com/webstore/detail/nljcdkjpjnhlilgepggmmagnmebhadnk

WhatFont
https://chrome.google.com/webstore/detail/jabopobgcpjmedljpbcaablpmlmfcogm

Woocommerce Spy
https://chrome.google.com/webstore/detail/elnocalmhgohlhjlpabeanaplckehhpl

Wordpress Style Editor
https://chrome.google.com/webstore/detail/bgdpllcnhcmpfcheafdhimpklhjoommn
-->

Google Chrome Extension Numbers on the Icon - Stack Overflow

Save snippets that work from anywhere online with our extensions

Comments

More like this

Chrome Extension

Browse more snippets >>

Google Chrome Extension Numbers on the Icon - Stack Overflow

Save snippets that work from anywhere online with our extensions

Comments

More like this

Chrome Extension

Browse more snippets >>

Embed code snippet