Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Number of settings batch not updated when changed in second editor #57592

Closed
chrmarti opened this issue Aug 30, 2018 · 1 comment
Closed

Number of settings batch not updated when changed in second editor #57592

chrmarti opened this issue Aug 30, 2018 · 1 comment
Assignees
@roblourens
Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Milestone
September 2018

Comments

@chrmarti
Copy link
Collaborator

Issue Type: Bug

Testing #57304

The count in the left editor's filter field doesn't update:

aug-30-2018 11-52-13

VS Code version: Code - Insiders 1.27.0-insider (051da84, 2018-08-30T07:25:39.746Z)
OS version: Darwin x64 17.7.0

System Info
Item Value
CPUs Intel(R) Core(TM) i7-4770HQ CPU @ 2.20GHz (8 x 2200)
GPU Status 2d_canvas: enabled
checker_imaging: disabled_off
flash_3d: enabled
flash_stage3d: enabled
flash_stage3d_baseline: enabled
gpu_compositing: enabled
multiple_raster_threads: enabled_on
native_gpu_memory_buffers: enabled
rasterization: enabled
video_decode: enabled
video_encode: enabled
webgl: enabled
webgl2: enabled
Load (avg) 3, 2, 3
Memory (System) 16.00GB (0.22GB free)
Process Argv /Applications/Visual Studio Code - Insiders.app/Contents/MacOS/Electron --user-data-dir /Users/chrmarti/Development/repos/tmp/user2 --extensions-dir /Users/chrmarti/Development/repos/tmp/ext2
Screen Reader no
VM 22%
Extensions: none
@vscodebot vscodebot bot added the insiders label Aug 30, 2018
@chrmarti
Copy link
Collaborator Author

It would be fine if the setting stayed, but it immediately goes away. (Maybe related to #57589?)

@roblourens roblourens added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Aug 30, 2018
@roblourens roblourens added this to the September 2018 milestone Aug 30, 2018
@mjbvz mjbvz added the verified Verification succeeded label Sep 26, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Oct 20, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@roblourens roblourens

Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Projects
None yet
Milestone
September 2018
Development

No branches or pull requests
3 participants
@roblourens @chrmarti @mjbvz