nl.hideout-lastation.com
Chrome-ontwikkelaarstools aanpassen met DevTools Author
Als u een frontend-ontwikkelaar bent, moet u al kennis hebben van het DevTools-paneel van Google Chrome. Dit wordt geleverd bij elke versie van Chrome die tools biedt voor het bewerken van onbewerkte HTML / CSS in combinatie met een JS-console en de mogelijkheid om de DOM in realtime te manipuleren.
Met een nieuwe gratis Chrome-plug-in genaamd DevTools Author kunt u het DevTools-paneel aanpassen met extra syntaxiskleurenschema's, unieke lettertypen en aangepaste lettergroottes.
De opzet is vrij eenvoudig. U installeert zojuist de extensie vanuit de Chrome Webstore en bezoekt vervolgens deze link in uw browser: chrome: // flags / # enable-devtools-experiments
U bevindt zich in het deelvenster Chrome-vlaggen waar u DevTools-experimenten moet inschakelen. Zodra dat is ingeschakeld, moet u Chrome opnieuw starten, opent u het instellingenvenster van DevTools en zoekt u het tabblad 'Experimenten'.
Dan hoeft u alleen maar "aangepaste gebruikersinterfacethema's toestaan" aan te vinken en u bent klaar om te beginnen!
U kunt kiezen uit meer dan 25 verschillende syntaxiskleurenschema's die de editor van Chrome een stuk gebruiksvriendelijker maken. En u kunt de lettergroottes wijzigen van 10px-22px of zelfs de consolelettertypen bijwerken naar vooraf geïnstalleerde lettertypen op uw besturingssysteem.
Deze plug-in voegt geen kernfuncties toe aan DevTools, maar laat u eerder de stijl en het uiterlijk van uw DevTools-venster wijzigen. Het is verrassend eenvoudig te configureren en het kan uw DevTools-ervaring veel persoonlijker maken.
Als je problemen hebt tijdens het instellen, bekijk dan deze begeleide introductievideo.
30 Beste gratis WordPress-diavoorstellingsplug-ins (2018)
Slideshows zijn het beste element op een beeldharde of inhoudgerichte website om aanbevolen afbeeldingen aan de bezoekers te laten zien. Daarom zijn de diavoorstellingsplug-ins een van de handigste plug-ins voor uw WordPress-site, waarmee u heel eenvoudig diapresentaties op uw website kunt maken en beheren
10 Skype Tips & Tricks die iedereen moet weten
Sinds de oprichting in 2003 is Skype voor veel mensen een normale vorm van communicatie geworden . Miljoenen mensen gebruiken Skype voor het kosteloos houden van gesprekken via sms, spraakoproepen en videogesprekken. U kunt zelfs mobiele telefoons en vaste nummers bellen met slechts een kleine vergoeding
