You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In WorkspaceManager.js, the refreshHint param is documented as a {string}, but the caller and callees which use that param document it as a {boolean}:
/** * Calculates a new size for editor-holder and resizes it accordingly, then and dispatches the "workspaceUpdateLayout" * event. (The editors within are resized by EditorManager, in response to that event). * *`@`param {string=} refreshHint One of "skip", "force", or undefined. See EditorManager docs. */functiontriggerUpdateLayout(refreshHint){// Find how much space is left for the editorvareditorAreaHeight=calcAvailableHeight();$editorHolder.height(editorAreaHeight);// affects size of "not-editor" placeholder as well// Resize editor to fill the space$(exports).trigger("workspaceUpdateLayout",[editorAreaHeight,refreshHint]);}
@JeffryBooher
The text was updated successfully, but these errors were encountered:
Tuesday Sep 09, 2014 at 15:04 GMT
Originally opened as adobe/brackets#9024
In WorkspaceManager.js, the
refreshHint
param is documented as a{string}
, but the caller and callees which use that param document it as a{boolean}
:@
JeffryBooherThe text was updated successfully, but these errors were encountered: