Here is the full script in my user-level rstudio-prefs.json file:
{
"panes": {
"quadrants": [
"Source",
"Console",
"TabSet1",
"TabSet2"
],
"tabSet1": [
"Environment",
"History",
"Connections",
"Build",
"VCS",
"Presentation"
],
"tabSet2": [
"Files",
"Plots",
"Packages",
"Help",
"Viewer"
],
"console_left_on_top": false,
"console_right_on_top": true
},
"show_margin": false,
"show_diagnostics_other": true,
"default_project_location": "~",
"source_with_echo": true,
"document_author": "Ted Moorman",
"show_hidden_files": true,
"wrap_tab_navigation": false,
"reuse_sessions_for_project_links": true,
"use_secure_download": false,
"cran_mirror": {
"name": "Global (CDN)",
"host": "RStudio",
"url": "http://cran.rstudio.com/",
"secondary": "",
"country": "us"
},
"jobs_tab_visibility": "shown",
"show_terminal_tab": false
}
I changed "show_terminal_tab": false to "show_terminal_tab": true and saved the file. When I quit the current R session and restarted, the terminal tab appeared, but the script no longer contained any code related to the "show_terminal_tab" session user setting. Then I changed it back to "show_terminal_tab": false and saved the file. Then when I quit the current R session and restarted, the terminal tab vanished, and the script continued to show "show_terminal_tab": false .
Is this behavior expected?!