[02:57:13] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 264 seconds) [04:27:00] *** Joins: drbean (~drbean@TC210-63-209-163.static.apol.com.tw) [06:10:56] *** Quits: drbean (~drbean@TC210-63-209-163.static.apol.com.tw) (Ping timeout: 240 seconds) [06:13:16] *** Joins: drbean (~drbean@TC210-63-209-61.static.apol.com.tw) [09:38:52] *** Quits: drbean (~drbean@TC210-63-209-61.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) [11:13:01] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [13:12:25] *** Joins: drbean (~drbean@TC210-63-209-89.static.apol.com.tw) [14:44:45] *** Quits: drbean (~drbean@TC210-63-209-89.static.apol.com.tw) (Ping timeout: 240 seconds) [15:08:40] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [15:09:35] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [16:05:40] @inariksit [16:05:45] which editor do you use [16:06:12] is there a vim script for gf? [16:07:27] or anyone else [16:08:30] I'm using emacs with gf, vs code with other stuff! here's a list of editor modes for gf, there's also vim http://www.grammaticalframework.org/doc/gf-editor-modes.html [16:17:09] thanks [16:35:11] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [16:36:00] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [16:38:11] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [16:38:34] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [17:11:32] so, just as a general rule of thumb [17:11:46] how many gf files will you keep open at a given time [17:12:07] if there's various dependencies and whatnot [18:39:33] open as in visible? I usually start with two tabs, and then open and close new ones as I need, e.g. if I want to see a lincat on line 5 and an oper on line 500, I split the window in two and go to the oper [18:40:05] after that, I'd usually close the split window and continue whatever I was doing [18:41:27] but I don't usually close the files, I just open new ones, and I get back to the old ones with C-x b