Login Register






SMTPMart - Buy Inbox SMTP | Leads | Shell | cPanel 100% Bonus on 1st deposit | Instant Refunds
ProxyByte $2/GB | Residential IPv4 - No Logs - 26M+ IPs - All unblocked
REFUNDING.GG | #1 REFUND SERVICE | SAME DAY REFUNDS | WORLDWIDE ORDERS | GET ITEMS 85% OFF
Thread Rating:
  • 0 Vote(s) - 0 Average


Which editor do you use? filter_list
Author
Message
ProfessorChill Offline
Musical Muffins
 *******
Registered (Diamond)
Eleven Years of Service
Posts: 846
Threads: 451
Reputation: 67

Points: 1,235NSP
GoldAudiophile
RE: Which editor do you use? 07-06-2018, 04:23 AM #89
(02-08-2016, 12:53 PM)Para Wrote: I'm currently using Sublime Text 3 with PHPLinter for syntax and error checking. I've been thinking about moving to PHPStorm for a while.

Which do you use?

Neovim

Um.... I use a lot of plugins, most of them don't do much :/

[Image: R4FnPMx.png]

EDIT: Just noticed that my PHP linter is not commented in the PHP section (probably because it's super general)
I use
https://github.com/w0rp/ale
(This post was last modified: 07-06-2018, 04:25 AM by ProfessorChill.)
[Image: dEDyx9w.png]
YouTube | Steam

Website
Reply





Messages In This Thread
Which editor do you use? - by Para - 02-08-2016, 12:53 PM
RE: Which editor do you use? - by Shiraishi - 05-06-2016, 03:37 AM
RE: Which editor do you use? - by bl4ck_c0d3 - 05-06-2016, 03:42 PM
RE: Which editor do you use? - by typhoid - 05-06-2016, 03:45 PM
RE: Which editor do you use? - by encrypted - 05-06-2016, 03:51 PM
RE: Which editor do you use? - by Mafia - 05-07-2016, 12:02 AM
RE: Which editor do you use? - by Dean Winchester - 05-07-2016, 07:23 AM
RE: Which editor do you use? - by insidious - 05-07-2016, 08:28 AM
RE: Which editor do you use? - by mudrig - 12-25-2016, 05:58 PM
RE: Which editor do you use? - by Pikami - 12-25-2016, 06:15 PM
RE: Which editor do you use? - by Darksider - 12-25-2016, 09:39 PM
RE: Which editor do you use? - by innocent21 - 12-31-2016, 10:30 PM
RE: Which editor do you use? - by Infinitum - 12-31-2016, 10:34 PM
RE: Which editor do you use? - by Inori - 12-31-2016, 10:55 PM
RE: Which editor do you use? - by prankd - 01-04-2017, 02:46 AM
RE: Which editor do you use? - by Hu3c0 - 01-07-2017, 12:05 PM
RE: Which editor do you use? - by DarSider - 01-07-2017, 01:40 PM
RE: Which editor do you use? - by Mr.Kurd - 01-07-2017, 07:15 PM
RE: Which editor do you use? - by Dr. Keter - 01-07-2017, 08:48 PM
RE: Which editor do you use? - by insidious - 01-08-2017, 07:25 PM
RE: Which editor do you use? - by Hoss - 01-16-2017, 03:40 AM
RE: Which editor do you use? - by Schlarman - 02-19-2017, 06:02 PM
RE: Which editor do you use? - by Synthx - 02-19-2017, 09:56 PM
RE: Which editor do you use? - by Dismas - 02-20-2017, 04:48 AM
RE: Which editor do you use? - by Skullmeat - 02-20-2017, 04:56 AM
RE: Which editor do you use? - by Gonzo - 02-26-2017, 05:24 PM
RE: Which editor do you use? - by Altair - 02-26-2017, 10:32 PM
RE: Which editor do you use? - by M105 - 06-05-2017, 09:07 PM
RE: Which editor do you use? - by Ecchi - 06-05-2017, 09:09 PM
RE: Which editor do you use? - by Ecks - 06-05-2017, 09:27 PM
RE: Which editor do you use? - by greasyC - 06-05-2017, 11:51 PM
RE: Which editor do you use? - by Blink - 06-06-2017, 12:27 AM
RE: Which editor do you use? - by Ecks - 06-06-2017, 02:37 AM
RE: Which editor do you use? - by Blink - 06-06-2017, 03:21 AM
RE: Which editor do you use? - by Blink - 06-08-2017, 03:52 AM
RE: Which editor do you use? - by Num5kull - 06-09-2017, 07:19 PM
RE: Which editor do you use? - by innocent21 - 06-23-2017, 09:47 AM
RE: Which editor do you use? - by SxTxN - 06-23-2017, 09:56 AM
RE: Which editor do you use? - by Blink - 06-23-2017, 10:02 AM
RE: Which editor do you use? - by dark_bit - 08-02-2017, 11:59 PM
RE: Which editor do you use? - by Skryptec - 02-11-2018, 11:57 PM
RE: Which editor do you use? - by mothered - 02-12-2018, 03:59 AM
RE: Which editor do you use? - by ZOM_BIES - 02-12-2018, 04:31 AM
RE: Which editor do you use? - by obito96 - 02-19-2018, 11:58 AM
RE: Which editor do you use? - by chuj21 - 03-04-2018, 12:01 AM
RE: Which editor do you use? - by Bish0pQ - 03-06-2018, 03:20 PM
RE: Which editor do you use? - by chunky - 03-06-2018, 09:35 PM
RE: Which editor do you use? - by krMM - 03-11-2018, 05:37 PM
RE: Which editor do you use? - by Kid - 04-03-2018, 09:33 AM
RE: Which editor do you use? - by Esoterith - 05-07-2018, 04:38 PM
RE: Which editor do you use? - by m2pt8 - 05-07-2018, 05:16 PM
RE: Which editor do you use? - by tvojaMama - 05-07-2018, 05:43 PM
RE: Which editor do you use? - by Blink - 05-07-2018, 07:07 PM
RE: Which editor do you use? - by Vultra - 05-16-2018, 02:21 PM
RE: Which editor do you use? - by Blink - 05-16-2018, 06:59 PM
RE: Which editor do you use? - by Vultra - 05-16-2018, 10:48 PM
RE: Which editor do you use? - by Blink - 05-17-2018, 12:38 AM
RE: Which editor do you use? - by Vultra - 05-17-2018, 01:08 AM
RE: Which editor do you use? - by phyrrus9 - 05-17-2018, 02:50 AM
RE: Which editor do you use? - by reGEN - 05-16-2018, 03:17 PM
RE: Which editor do you use? - by phyrrus9 - 05-16-2018, 10:38 PM
RE: Which editor do you use? - by phyrrus9 - 05-17-2018, 12:41 AM
RE: Which editor do you use? - by ProfessorChill - 07-06-2018, 04:23 AM
RE: Which editor do you use? - by byenkorf - 07-07-2018, 07:26 PM
RE: Which editor do you use? - by mothered - 07-10-2018, 11:38 AM
RE: Which editor do you use? - by Percent - 07-07-2018, 09:22 PM
RE: Which editor do you use? - by Vultra - 07-10-2018, 11:45 AM
RE: Which editor do you use? - by Ukulele - 07-29-2018, 11:37 AM
RE: Which editor do you use? - by Num5kull - 07-29-2018, 01:33 PM
RE: Which editor do you use? - by Vultra - 07-29-2018, 02:40 PM
RE: Which editor do you use? - by Num5kull - 07-30-2018, 11:06 AM
RE: Which editor do you use? - by CodePusher - 08-10-2018, 04:37 PM
RE: Which editor do you use? - by tree636363 - 02-06-2019, 10:10 PM
RE: Which editor do you use? - by q0xd - 05-15-2019, 05:12 PM
RE: Which editor do you use? - by Skryptec - 05-15-2019, 05:49 PM
RE: Which editor do you use? - by SneakyBit - 06-06-2019, 10:57 AM
RE: Which editor do you use? - by sad_satan - 06-08-2019, 05:37 AM
RE: Which editor do you use? - by innocent21 - 06-11-2019, 09:31 AM
RE: Which editor do you use? - by NullData - 06-11-2019, 09:33 AM
RE: Which editor do you use? - by CSS - 06-19-2019, 02:04 PM
RE: Which editor do you use? - by sad_satan - 06-25-2019, 02:37 AM
RE: Which editor do you use? - by OGs - 06-25-2019, 03:01 AM
RE: Which editor do you use? - by Zyrden - 06-27-2019, 06:29 PM
RE: Which editor do you use? - by nzt - 09-20-2019, 08:53 PM



Users browsing this thread: 1 Guest(s)