changeset 48244 | b56858d85a7b |
parent 48242 | 4d2ab365699e |
child 48743 | a1538c05d855 |
48243:76c071bba40d | 48244:b56858d85a7b |
---|---|
767 |
767 |
768 |
768 |
769 SUPPORTED_BOOKMARKS_MODES = { |
769 SUPPORTED_BOOKMARKS_MODES = { |
770 b'default', |
770 b'default', |
771 b'mirror', |
771 b'mirror', |
772 b'ignore', |
|
772 } |
773 } |
773 |
774 |
774 |
775 |
775 @pathsuboption(b'bookmarks.mode', b'bookmarks_mode') |
776 @pathsuboption(b'bookmarks.mode', b'bookmarks_mode') |
776 def bookmarks_mode_option(ui, path, value): |
777 def bookmarks_mode_option(ui, path, value): |