Newer
Older
__copyright__ = "Copyright (C) 2014 Andreas Kloeckner"
__license__ = """
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
"""
Andreas Klöckner
committed
import datetime # noqa
from django.shortcuts import ( # noqa
render, get_object_or_404)
from django.core.exceptions import ObjectDoesNotExist
from django.utils.translation import (
from contextlib import ContextDecorator
from relate.utils import string_concat
from course.content import (
get_course_repo, get_flow_desc,
parse_date_spec, get_course_commit_sha,
CourseCommitSHADoesNotExist)
from course.constants import (
flow_permission, flow_rule_kind)
from course.content import ( # noqa
FlowDesc,
FlowPageDesc,
FlowSessionStartRuleDesc,
FlowSessionAccessRuleDesc,
FlowSessionGradingRuleDesc,
)
from course.page.base import ( # noqa
PageBase,
PageContext,
)
Andreas Klöckner
committed
# {{{ mypy
from typing import ( # noqa
Tuple, List, Iterable, Any, Optional, Union, Dict, FrozenSet, Text,
TYPE_CHECKING)
if TYPE_CHECKING:
Andreas Klöckner
committed
from course.models import ( # noqa
Course,
Participation,
Andreas Klöckner
committed
FlowSession,
FlowPageData,
)
from relate.utils import Repo_ish # noqa
from course.content import Repo_ish # noqa
from codemirror import CodeMirrorTextarea, CodeMirrorJavascript # noqa
Andreas Klöckner
committed
# }}}
import re
CODE_CELL_DIV_ATTRS_RE = re.compile('(<div class="[^>]*code_cell[^>"]*")(>)')
def getattr_with_fallback(
aggregates: Iterable[Any], attr_name: str, default: Any = None) -> Any:
for agg in aggregates:
result = getattr(agg, attr_name, None)
if result is not None:
return result
return default
# {{{ flow permissions
class FlowSessionRuleBase:
Andreas Klöckner
committed
pass
class FlowSessionStartRule(FlowSessionRuleBase):
Andreas Klöckner
committed
def __init__(
self,
tag_session: str | None = None,
may_start_new_session: bool | None = None,
may_list_existing_sessions: bool | None = None,
default_expiration_mode: str | None = None,
) -> None:
Andreas Klöckner
committed
self.tag_session = tag_session
self.may_start_new_session = may_start_new_session
self.may_list_existing_sessions = may_list_existing_sessions
self.default_expiration_mode = default_expiration_mode
class FlowSessionAccessRule(FlowSessionRuleBase):
Andreas Klöckner
committed
def __init__(
self,
permissions: frozenset[str],
message: str | None = None,
) -> None:
Andreas Klöckner
committed
self.permissions = permissions
self.message = message
def human_readable_permissions(self):
from course.models import FLOW_PERMISSION_CHOICES
permission_dict = dict(FLOW_PERMISSION_CHOICES)
return [permission_dict[p] for p in self.permissions]
class FlowSessionGradingRule(FlowSessionRuleBase):
Andreas Klöckner
committed
def __init__(
self,
grade_identifier: str | None,
due: datetime.datetime | None,
description: str | None = None,
credit_percent: float | None = None,
use_last_activity_as_completion_time: bool | None = None,
max_points: float | None = None,
max_points_enforced_cap: float | None = None,
) -> None:
Andreas Klöckner
committed
self.grade_identifier = grade_identifier
self.grade_aggregation_strategy = grade_aggregation_strategy
self.due = due
self.generates_grade = generates_grade
self.description = description
self.credit_percent = credit_percent
self.use_last_activity_as_completion_time = \
use_last_activity_as_completion_time
self.max_points = max_points
self.max_points_enforced_cap = max_points_enforced_cap
self.bonus_points = bonus_points
def _eval_generic_conditions(
participation: Participation | None,
now_datetime: datetime.datetime,
flow_id: str,
login_exam_ticket: ExamTicket | None,
Andreas Klöckner
committed
if hasattr(rule, "if_before"):
ds = parse_date_spec(course, rule.if_before)
return False
if hasattr(rule, "if_after"):
ds = parse_date_spec(course, rule.if_after)
return False
if hasattr(rule, "if_has_role"):
from course.enrollment import get_participation_role_identifiers
roles = get_participation_role_identifiers(course, participation)
if all(role not in rule.if_has_role for role in roles):
if (hasattr(rule, "if_signed_in_with_matching_exam_ticket")
and rule.if_signed_in_with_matching_exam_ticket):
if login_exam_ticket is None:
return False
if login_exam_ticket.exam.flow_id != flow_id:
return False
Andreas Klöckner
committed
def _eval_generic_session_conditions(
rule: Any,
session: FlowSession,
now_datetime: datetime.datetime,
) -> bool:
Andreas Klöckner
committed
if hasattr(rule, "if_has_tag"):
if session.access_rules_tag != rule.if_has_tag:
return False
if hasattr(rule, "if_started_before"):
ds = parse_date_spec(session.course, rule.if_started_before)
if not session.start_time < ds:
return False
return True
def _eval_participation_tags_conditions(
participation: Participation | None,
participation_tags_any_set = (
set(getattr(rule, "if_has_participation_tags_any", [])))
participation_tags_all_set = (
set(getattr(rule, "if_has_participation_tags_all", [])))
if participation_tags_any_set or participation_tags_all_set:
if not participation:
# Return False for anonymous users if only
# if_has_participation_tags_any or if_has_participation_tags_all
# is not empty.
return False
ptag_set = set(participation.tags.all().values_list("name", flat=True))
if not ptag_set:
return False
if (
participation_tags_any_set
and not participation_tags_any_set & ptag_set):
if (
participation_tags_all_set
and not participation_tags_all_set <= ptag_set):
return False
return True
Andreas Klöckner
committed
def get_flow_rules(
kind: str,
participation: Participation | None,
flow_id: str,
now_datetime: datetime.datetime,
consider_exceptions: bool = True,
default_rules_desc: Optional[list[Any]] = None
) -> list[Any]:
if default_rules_desc is None:
default_rules_desc = []
Andreas Klöckner
committed
if (not hasattr(flow_desc, "rules")
or not hasattr(flow_desc.rules, kind)):
rules = default_rules_desc[:]
else:
rules = getattr(flow_desc.rules, kind)[:]
from course.models import FlowRuleException
if consider_exceptions:
FlowRuleException.objects
.filter(
participation=participation,
active=True,
kind=kind,
# rules created first will get inserted first, and show up last
.order_by("creation_time")):
if exc.expiration is not None and now_datetime > exc.expiration:
continue
rules.insert(0, dict_to_struct(exc.rule))
Andreas Klöckner
committed
def get_session_start_rule(
participation: Participation | None,
flow_id: str,
flow_desc: FlowDesc,
now_datetime: datetime.datetime,
facilities: frozenset[str] | None = None,
login_exam_ticket: ExamTicket | None = None,
Andreas Klöckner
committed
"""Return a :class:`FlowSessionStartRule` if a new session is
permitted or *None* if no new session is allowed.
"""
if facilities is None:
facilities = frozenset()
from relate.utils import dict_to_struct
rules: list[FlowSessionStartRuleDesc] = get_flow_rules(
flow_desc, flow_rule_kind.start,
participation, flow_id, now_datetime,
default_rules_desc=[
dict_to_struct(dict(
may_start_new_session=True,
may_list_existing_sessions=False))])
Andreas Klöckner
committed
if not _eval_generic_conditions(rule, course, participation,
now_datetime, flow_id=flow_id,
login_exam_ticket=login_exam_ticket):
if not _eval_participation_tags_conditions(rule, participation):
continue
if not for_rollover and hasattr(rule, "if_in_facility"):
if rule.if_in_facility not in facilities:
Andreas Klöckner
committed
if not for_rollover and hasattr(rule, "if_has_in_progress_session"):
session_count = FlowSession.objects.filter(
participation=participation,
course=course,
flow_id=flow_id,
in_progress=True).count()
if bool(session_count) != rule.if_has_in_progress_session:
continue
if not for_rollover and hasattr(rule, "if_has_session_tagged"):
tagged_session_count = FlowSession.objects.filter(
participation=participation,
course=course,
access_rules_tag=rule.if_has_session_tagged,
flow_id=flow_id).count()
if not tagged_session_count:
continue
if not for_rollover and hasattr(rule, "if_has_fewer_sessions_than"):
session_count = FlowSession.objects.filter(
participation=participation,
course=course,
flow_id=flow_id).count()
if session_count >= rule.if_has_fewer_sessions_than:
continue
Andreas Klöckner
committed
if not for_rollover and hasattr(rule, "if_has_fewer_tagged_sessions_than"):
tagged_session_count = FlowSession.objects.filter(
participation=participation,
course=course,
access_rules_tag__isnull=False,
flow_id=flow_id).count()
if tagged_session_count >= rule.if_has_fewer_tagged_sessions_than:
continue
return FlowSessionStartRule(
tag_session=getattr(rule, "tag_session", None),
may_start_new_session=getattr(
rule, "may_start_new_session", True),
may_list_existing_sessions=getattr(
rule, "may_list_existing_sessions", True),
default_expiration_mode=getattr(
rule, "default_expiration_mode", None),
return FlowSessionStartRule(
may_list_existing_sessions=False,
may_start_new_session=False)
Andreas Klöckner
committed
def get_session_access_rule(
session: FlowSession,
flow_desc: FlowDesc,
now_datetime: datetime.datetime,
facilities: frozenset[str] | None = None,
login_exam_ticket: ExamTicket | None = None,
if facilities is None:
facilities = frozenset()
from relate.utils import dict_to_struct
rules: list[FlowSessionAccessRuleDesc] = get_flow_rules(
flow_desc, flow_rule_kind.access,
session.participation, session.flow_id, now_datetime,
default_rules_desc=[
dict_to_struct(dict(
permissions=[flow_permission.view],
if not _eval_generic_conditions(
rule, session.course, session.participation,
now_datetime, flow_id=session.flow_id,
login_exam_ticket=login_exam_ticket):
if not _eval_participation_tags_conditions(rule, session.participation):
continue
if not _eval_generic_session_conditions(rule, session, now_datetime):
if hasattr(rule, "if_in_facility"):
if rule.if_in_facility not in facilities:
if hasattr(rule, "if_in_progress"):
if session.in_progress != rule.if_in_progress:
continue
if hasattr(rule, "if_expiration_mode"):
if session.expiration_mode != rule.if_expiration_mode:
if hasattr(rule, "if_session_duration_shorter_than_minutes"):
duration_min = (now_datetime - session.start_time).total_seconds() / 60
if session.participation is not None:
duration_min /= float(session.participation.time_factor)
if duration_min > rule.if_session_duration_shorter_than_minutes:
continue
permissions = set(rule.permissions)
# {{{ deal with deprecated permissions
if "modify" in permissions:
permissions.remove("modify")
permissions.update([
flow_permission.submit_answer,
if "see_answer" in permissions:
permissions.remove("see_answer")
permissions.add(flow_permission.see_answer_after_submission)
# }}}
# Remove 'modify' permission from not-in-progress sessions
if not session.in_progress:
for perm in [
flow_permission.submit_answer,
]:
if perm in permissions:
permissions.remove(perm)
return FlowSessionAccessRule(
permissions=frozenset(permissions),
message=getattr(rule, "message", None)
)
return FlowSessionAccessRule(permissions=frozenset())
Andreas Klöckner
committed
def get_session_grading_rule(
session: FlowSession,
flow_desc: FlowDesc,
now_datetime: datetime.datetime
) -> FlowSessionGradingRule:
Andreas Klöckner
committed
Andreas Klöckner
committed
flow_desc_rules = getattr(flow_desc, "rules", None)
from relate.utils import dict_to_struct
rules: list[FlowSessionGradingRuleDesc] = get_flow_rules(
flow_desc, flow_rule_kind.grading,
session.participation, session.flow_id, now_datetime,
default_rules_desc=[
dict_to_struct(dict(
from course.enrollment import get_participation_role_identifiers
roles = get_participation_role_identifiers(session.course, session.participation)
for rule in rules:
if hasattr(rule, "if_has_role"):
if all(role not in rule.if_has_role for role in roles):
if not _eval_generic_session_conditions(rule, session, now_datetime):
if not _eval_participation_tags_conditions(rule, session.participation):
continue
if hasattr(rule, "if_completed_before"):
ds = parse_date_spec(session.course, rule.if_completed_before)
use_last_activity_as_completion_time = False
if hasattr(rule, "use_last_activity_as_completion_time"):
use_last_activity_as_completion_time = \
rule.use_last_activity_as_completion_time
if use_last_activity_as_completion_time:
last_activity = session.last_activity()
if last_activity is not None:
completion_time = last_activity
else:
completion_time = now_datetime
else:
if session.in_progress:
completion_time = now_datetime
else:
completion_time = session.completion_time
if completion_time > ds:
due_str = getattr(rule, "due", None)
if due_str is not None:
due = parse_date_spec(session.course, due_str)
generates_grade = getattr(rule, "generates_grade", True)
Andreas Klöckner
committed
grade_identifier = None
grade_aggregation_strategy = None
if flow_desc_rules is not None:
grade_identifier = flow_desc_rules.grade_identifier
grade_aggregation_strategy = getattr(
flow_desc_rules, "grade_aggregation_strategy", None)
bonus_points = getattr_with_fallback((rule, flow_desc), "bonus_points", 0)
max_points = getattr_with_fallback((rule, flow_desc), "max_points", None)
max_points_enforced_cap = getattr_with_fallback(
(rule, flow_desc), "max_points_enforced_cap", None)
grade_aggregation_strategy = cast(str, grade_aggregation_strategy)
return FlowSessionGradingRule(
Andreas Klöckner
committed
grade_identifier=grade_identifier,
grade_aggregation_strategy=grade_aggregation_strategy,
generates_grade=generates_grade,
description=getattr(rule, "description", None),
credit_percent=getattr(rule, "credit_percent", 100),
use_last_activity_as_completion_time=getattr(
rule, "use_last_activity_as_completion_time", False),
bonus_points=bonus_points,
max_points=max_points,
max_points_enforced_cap=max_points_enforced_cap,
raise RuntimeError(_("grading rule determination was unable to find "
"a grading rule"))
# }}}
# {{{ contexts
class AnyArgumentType: # noqa
pass
ANY_ARGUMENT = AnyArgumentType()
class CoursePageContext:
def __init__(self, request: http.HttpRequest, course_identifier: str) -> None:
Andreas Klöckner
committed
self.request = request
self.course_identifier = course_identifier
self._permissions_cache: frozenset[tuple[str, str | None]] | None = None # noqa
self._role_identifiers_cache: list[str] | None = None
self.old_language = None
# using this to prevent nested using as context manager
self._is_in_context_manager = False
self.course = get_object_or_404(Course, identifier=course_identifier)
from course.enrollment import get_participation_for_request
self.participation = get_participation_for_request(
request, self.course)
from course.views import check_course_state
check_course_state(self.course, self.participation)
self.repo = get_course_repo(self.course)
try:
sha = get_course_commit_sha(
self.course, self.participation,
raise_on_nonexistent_preview_commit=True)
except CourseCommitSHADoesNotExist as e:
from django.contrib import messages
messages.add_message(request, messages.ERROR, str(e))
sha = self.course.active_git_commit_sha.encode()
self.course_commit_sha = sha
def role_identifiers(self) -> list[str]:
if self._role_identifiers_cache is not None:
return self._role_identifiers_cache
from course.enrollment import get_participation_role_identifiers
self._role_identifiers_cache = get_participation_role_identifiers(
self.course, self.participation)
return self._role_identifiers_cache
def permissions(self) -> frozenset[tuple[str, str | None]]:
Andreas Klöckner
committed
if self._permissions_cache is not None:
return self._permissions_cache
from course.enrollment import get_participation_permissions
perm = get_participation_permissions(self.course, self.participation)
Andreas Klöckner
committed
self._permissions_cache = perm
Andreas Klöckner
committed
return perm
def has_permission(
self, perm: str, argument: str | AnyArgumentType | None = None
) -> bool:
if argument is ANY_ARGUMENT:
return any(perm == p
for p, arg in self.permissions())
else:
return (perm, argument) in self.permissions()
def _set_course_lang(self, action: str) -> None:
if self.course.force_lang and self.course.force_lang.strip():
if action == "activate":
self.old_language = translation.get_language()
translation.activate(self.course.force_lang)
else:
if self.old_language is None:
# This should be a rare case, but get_language() can be None.
# See django.utils.translation.override.__exit__()
translation.deactivate_all()
translation.activate(self.old_language)
if self._is_in_context_manager:
raise RuntimeError(
"Nested use of 'course_view' as context manager "
"is not allowed.")
self._is_in_context_manager = True
self._set_course_lang(action="activate")
return self
def __exit__(self, exc_type, exc_val, exc_tb):
self._is_in_context_manager = False
self._set_course_lang(action="deactivate")
class FlowContext:
def __init__(
self,
repo: Repo_ish,
course: Course,
flow_id: str,
participation: Participation | None = None) -> None:
"""*participation* and *flow_session* are not stored and only used
to figure out versioning of the flow content.
"""
self.repo = repo
self.course = course
from django.core.exceptions import ObjectDoesNotExist
self.course_commit_sha = get_course_commit_sha(
self.course, participation)
self.flow_desc = get_flow_desc(self.repo, self.course,
except ObjectDoesNotExist:
raise http.Http404()
class PageOrdinalOutOfRange(http.Http404):
pass
class FlowPageContext(FlowContext):
"""This object acts as a container for all the information that a flow page
may need to render itself or respond to a POST.
Note that this is different from :class:`course.page.PageContext`,
which is used for in the page API.
Andreas Klöckner
committed
def __init__(
self,
repo: Repo_ish,
course: Course,
flow_id: str,
page_ordinal: int,
participation: Participation | None,
flow_session: FlowSession,
request: http.HttpRequest | None = None,
) -> None:
super().__init__(repo, course, flow_id, participation)
if page_ordinal >= flow_session.page_count:
raise PageOrdinalOutOfRange()
page_data = self.page_data = get_object_or_404(
FlowPageData, flow_session=flow_session, page_ordinal=page_ordinal)
from course.content import get_flow_page_desc
self.page_desc: FlowPageDesc | None = get_flow_page_desc(
page_data.page_id)
except ObjectDoesNotExist:
self.page_desc = None
self.page: PageBase | None = None
self.page_context: PageContext | None = None
else:
self.page = instantiate_flow_page_with_ctx(self, page_data)
page_uri = None
if request is not None:
from django.urls import reverse
page_uri = request.build_absolute_uri(
reverse(
"relate-view_flow_page",
args=(course.identifier, flow_session.id, page_ordinal)))
self.page_context = PageContext(
course=self.course, repo=self.repo,
flow_session=flow_session,
page_uri=page_uri,
request=request)
self._prev_answer_visit = False
@property
def prev_answer_visit(self):
if self._prev_answer_visit is False:
from course.flow import get_prev_answer_visit
self._prev_answer_visit = get_prev_answer_visit(self.page_data)
return self._prev_answer_visit
def page_ordinal(self):
return self.page_data.page_ordinal
def instantiate_flow_page_with_ctx(
fctx: FlowContext, page_data: FlowPageData) -> PageBase:
Andreas Klöckner
committed
from course.content import get_flow_page_desc
page_desc = get_flow_page_desc(
page_data.group_id, page_data.page_id)
from course.content import instantiate_flow_page
return instantiate_flow_page(
"course '%s', flow '%s', page '%s/%s'"
page_data.group_id, page_data.page_id),
fctx.repo, page_desc, fctx.course_commit_sha)
Andreas Klöckner
committed
# {{{ utilties for course-based views
def course_view(f):
def wrapper(request, course_identifier, *args, **kwargs):
with CoursePageContext(request, course_identifier) as pctx:
response = f(pctx, *args, **kwargs)
pctx.repo.close()
return response
from functools import update_wrapper
update_wrapper(wrapper, f)
return wrapper
class ParticipationPermissionWrapper:
def __init__(self, pctx: CoursePageContext) -> None:
Andreas Klöckner
committed
self.pctx = pctx
def __getitem__(self, perm: str) -> bool:
Andreas Klöckner
committed
from course.constants import participation_permission
try:
getattr(participation_permission, perm)
except AttributeError:
raise ValueError("permission name '%s' not valid" % perm)
return self.pctx.has_permission(perm, ANY_ARGUMENT)
Andreas Klöckner
committed
def __iter__(self):
raise TypeError("ParticipationPermissionWrapper is not iterable.")
def render_course_page(
pctx: CoursePageContext, template_name: str, args: dict[str, Any],
allow_instant_flow_requests: bool = True) -> http.HttpResponse:
Andreas Klöckner
committed
args = args.copy()
from course.views import get_now_or_fake_time
now_datetime = get_now_or_fake_time(pctx.request)
if allow_instant_flow_requests:
from course.models import InstantFlowRequest
instant_flow_requests = list(InstantFlowRequest.objects
.filter(
course=pctx.course,
start_time__lte=now_datetime,
end_time__gte=now_datetime,
cancelled=False)
.order_by("start_time"))
else:
instant_flow_requests = []
args.update({
"course": pctx.course,
Andreas Klöckner
committed
"pperm": ParticipationPermissionWrapper(pctx),
"participation": pctx.participation,
"num_instant_flow_requests": len(instant_flow_requests),
"instant_flow_requests":
[(i+1, r) for i, r in enumerate(instant_flow_requests)],
})
return render(pctx.request, template_name, args)
Andreas Klöckner
committed
# }}}
# {{{ page cache
class PageInstanceCache:
"""Caches instances of :class:`course.page.Page`."""
self.repo = repo
self.course = course
self.flow_desc_cache = {}
self.page_cache = {}
def get_flow_desc_from_cache(self, commit_sha):
try:
return self.flow_desc_cache[commit_sha]
except KeyError:
flow_desc = get_flow_desc(self.repo, self.course,
self.flow_desc_cache[commit_sha] = flow_desc
return flow_desc
def get_page(self, group_id, page_id, commit_sha):
key = (group_id, page_id, commit_sha)
try:
return self.page_cache[key]
except KeyError:
from course.content import get_flow_page_desc, instantiate_flow_page
page_desc = get_flow_page_desc(
self.get_flow_desc_from_cache(commit_sha),
group_id, page_id)
page = instantiate_flow_page(
location="flow '%s', group, '%s', page '%s'"
repo=self.repo, page_desc=page_desc,
commit_sha=commit_sha)
self.page_cache[key] = page
return page
# }}}
Andreas Klöckner
committed
def get_codemirror_widget(
language_mode: str,
interaction_mode: Optional[str],
config: dict | None = None,
addon_css: tuple = (),
addon_js: tuple = (),
dependencies: tuple = (),
read_only: bool = False,
autofocus: bool = False,
additional_keys: Optional[
Dict[str, Union[str, CodeMirrorJavascript]]] = None,
attrs: Optional[Dict[str, str]] = None,
) -> tuple[CodeMirrorTextarea, str]:
from codemirror import CodeMirrorTextarea, CodeMirrorJavascript # noqa
if additional_keys is None:
additional_keys = {}
Andreas Klöckner
committed
theme = "default"
if read_only:
theme += " relate-readonly"
from django.urls import reverse
help_text = (_("Press F9 to toggle full-screen mode. ")
+ _("Set editor mode in <a href='%s'>user profile</a>.")
% reverse("relate-user_profile"))
Andreas Klöckner
committed
actual_addon_css = (
"dialog/dialog",
"display/fullscreen",
) + addon_css
actual_addon_js = (
"search/searchcursor",
"dialog/dialog",
"search/search",
Andreas Klöckner
committed
"edit/matchbrackets",
"display/fullscreen",
"selection/active-line",
"edit/trailingspace",
) + addon_js
if language_mode == "python":
indent_unit = 4
else:
indent_unit = 2
extra_keys = {
"Ctrl-/": "toggleComment",
"Tab": CodeMirrorJavascript("""function(cm)
Andreas Klöckner
committed
{
Andreas Klöckner
committed
// from https://github.com/codemirror/CodeMirror/issues/988
if (cm.doc.somethingSelected()) {
return CodeMirror.Pass;
}
var spacesPerTab = cm.getOption("indentUnit");
var spacesToInsert = (
spacesPerTab
- (cm.doc.getCursor("start").ch % spacesPerTab));
var spaces = Array(spacesToInsert + 1).join(" ");
cm.replaceSelection(spaces, "end", "+input");
}"""),
"Shift-Tab": "indentLess",
"F9": CodeMirrorJavascript("""function(cm) {
Andreas Klöckner
committed
cm.setOption("fullScreen",
!cm.getOption("fullScreen"));
}"""),
}
extra_keys.update(additional_keys)
actual_config = {
"fixedGutter": True,
"matchBrackets": True,
"styleActiveLine": True,
"showTrailingSpace": True,
"indentUnit": indent_unit,
"readOnly": read_only,
"extraKeys": extra_keys,
Andreas Klöckner
committed
}
if autofocus:
actual_config["autofocus"] = True
Andreas Klöckner
committed
if interaction_mode == "vim":
actual_config["vimMode"] = True
actual_addon_js += ("../keymap/vim",)
Andreas Klöckner
committed
elif interaction_mode == "emacs":
actual_config["keyMap"] = "emacs"
actual_addon_js += ("../keymap/emacs",)
Andreas Klöckner
committed
elif interaction_mode == "sublime":
actual_config["keyMap"] = "sublime"
actual_addon_js += ("../keymap/sublime",)
Andreas Klöckner
committed
# every other interaction mode goes to default
if config is not None:
actual_config.update(config)
if attrs is None:
attrs = {}
Andreas Klöckner
committed
return CodeMirrorTextarea(
mode=language_mode,
Andreas Klöckner
committed
theme=theme,