From 9ca33d294605c820d3ee00d8d553ef4434f619cd Mon Sep 17 00:00:00 2001 From: Shariq Ansari Date: Mon, 9 Jan 2023 18:46:35 +0530 Subject: [PATCH] chore: type check --- frappe/desk/doctype/workspace/workspace.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frappe/desk/doctype/workspace/workspace.py b/frappe/desk/doctype/workspace/workspace.py index 7649a2204d..f7d9e8ac3e 100644 --- a/frappe/desk/doctype/workspace/workspace.py +++ b/frappe/desk/doctype/workspace/workspace.py @@ -247,7 +247,7 @@ def update_page(name, title, icon, parent, public): return {"name": title, "public": public, "label": new_name} -def hide_unhide_page(page_name: str, is_hidden: int): +def hide_unhide_page(page_name: str, is_hidden: bool): page = frappe.get_doc("Workspace", page_name) if page.get("public") and not is_workspace_manager(): @@ -258,7 +258,7 @@ def hide_unhide_page(page_name: str, is_hidden: int): if not page.get("public") and page.get("for_user") != frappe.session.user: frappe.throw(_("Cannot update private workspace of other users"), frappe.PermissionError) - page.is_hidden = is_hidden + page.is_hidden = int(is_hidden) page.save(ignore_permissions=True) return True