6 Replies Latest reply on Oct 3, 2018 4:18 PM by thatJeffSmith-Oracle

Code Folding Margin

Eric999 Oct 3, 2018 12:09 PM

I'm using SQL Developer version 18.1. When I uncheck the code folding margin box, the margin goes away as expected. However, when I close SQL Developer and open it again, the margin comes back and the code folding margin box is still unchecked.

1. Re: Code Folding Margin

thatJeffSmith-Oracle Oct 3, 2018 12:12 PM (in response to Eric999)

'margin goes away as expected' - not sure quite what this means. How about a screenshot.

when I hear that, i think this
Like Show 0 Likes(0)

Actions
2. Re: Code Folding Margin

Eric999 Oct 3, 2018 1:04 PM (in response to thatJeffSmith-Oracle)

First I uncheck the box "Show Code Folding Margin":

The margin doesn't show:

Then I close SQL Developer and open it, margin comes back and the box is still unchecked:
Like Show 0 Likes(0)

Actions
3. Re: Code Folding Margin

John_K Oct 3, 2018 2:05 PM (in response to Eric999)

Same happens in 18.2.
Like Show 1 Likes(1)

Actions
4. Re: Code Folding Margin

thatJeffSmith-Oracle Oct 3, 2018 2:27 PM (in response to John_K)

Didn't even know that was a preference.

If that specific preference isn't being 'remembered' - it's a bug, and you should file a SR with MOS.

If NONE of your preferences are being honored, make sure your user has write privs to the AppData\Roaming Profiles directory where SQL Developer is storing its settings.
Like Show 0 Likes(0)

Actions
5. Re: Code Folding Margin

Eric999 Oct 3, 2018 2:55 PM (in response to thatJeffSmith-Oracle)

It's only this preference that isn't being remembered. Where do I file a service request?
Like Show 0 Likes(0)

Actions
6. Re: Code Folding Margin

thatJeffSmith-Oracle Oct 3, 2018 4:18 PM (in response to Eric999)

with My Oracle Support
Like Show 0 Likes(0)

Actions

Go to original post