Fork me on GitHub
#cursive
<
2015-12-20
>
tord20:12:29

One of my main annoyances in IntelliJ is the extremely wide margins to the left of any code buffer. The only way I have found to hide those margins is to enable "distraction free mode" from the view menu. Unfortunately, this also hides the Cursive REPL. Has anyone found a way to keep the REPL visible in distraction free mode, or some other way to disable the margins?

simax9920:12:14

Anybody else experiencing this? I open the REPL tool window and I can use the keyboard shortcut cmd+shift left arrow to make the REPL tool window wider and cmd+shift right arrow to make it narrower. However, If I then run a Cursive REPL as described here https://cursive-ide.com/userguide/repl.html I can no longer use the keyboard shortcuts to alter the size of the REPL tool window. Any ideas?

cfleming21:12:17

@tord: There are some issues relating to this, https://youtrack.jetbrains.com/issue/IDEA-145837 and https://youtrack.jetbrains.com/issue/IDEA-134555, but they’re complaining about wide margins in distraction free mode.

cfleming21:12:05

@tord: Are you talking about the gutter area? Could you provide a screenshot showing what you mean?

cfleming21:12:28

@simax99: That sounds odd, let me try it.

tord22:12:19

@cfleming: Yes, looks like "gutter area" is the technical term. I want it to go away, or at least not be so ridiculously wide.

cfleming22:12:33

@tord: Looks like http://stackoverflow.com/questions/19881380/in-intellij-idea-how-can-i-hide-the-bar-in-the-left-of-the-text-editor is probably as good as you can get, although that answer is a little old now.

cfleming22:12:52

@tord: You can search for “gutter” in the settings to see all relevant settings.