Closed hamelsmu closed 1 year ago
From twitter
Add an option that the user can toggle. To change the settings:
CMD + Shift + P
User Settings
Preferences: Open User Settings
nbdev
cc: @seeM @jph00
Problem
From twitter
Solution
Add an option that the user can toggle. To change the settings:
CMD + Shift + P
User Settings
, and press enter onPreferences: Open User Settings
nbdev
cc: @seeM @jph00