equal
deleted
inserted
replaced
3802 |
3802 |
3803 if ui.configbool(b'format', b'bookmarks-in-store'): |
3803 if ui.configbool(b'format', b'bookmarks-in-store'): |
3804 requirements.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT) |
3804 requirements.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT) |
3805 |
3805 |
3806 # The feature is disabled unless a fast implementation is available. |
3806 # The feature is disabled unless a fast implementation is available. |
3807 persistent_nodemap_default = policy.importrust('revlog') is not None |
3807 persistent_nodemap_default = ( |
|
3808 policy.importrust('revlog', pyo3=True) is not None |
|
3809 ) |
3808 if ui.configbool( |
3810 if ui.configbool( |
3809 b'format', b'use-persistent-nodemap', persistent_nodemap_default |
3811 b'format', b'use-persistent-nodemap', persistent_nodemap_default |
3810 ): |
3812 ): |
3811 requirements.add(requirementsmod.NODEMAP_REQUIREMENT) |
3813 requirements.add(requirementsmod.NODEMAP_REQUIREMENT) |
3812 |
3814 |