[
https://issues.apache.org/jira/browse/MARMOTTA-360?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13833584#comment-13833584
]
Jakob Frank commented on MARMOTTA-360:
--------------------------------------
We are using the "pre background-color" on other pages in the admin-ui, so just
removing will not be enough.
probably the selection with #content is to strong, maybe changing it to a
css-class is enough?
[~Oliver Janner] would you like to look into this?
> Text Selection does not work properly in Code Mirror (Sparql and LDPath)
> ------------------------------------------------------------------------
>
> Key: MARMOTTA-360
> URL: https://issues.apache.org/jira/browse/MARMOTTA-360
> Project: Marmotta
> Issue Type: Bug
> Components: Admin Interface
> Affects Versions: 3.1-incubating
> Reporter: Thomas Kurz
> Assignee: Thomas Kurz
> Fix For: 3.2
>
>
--
This message was sent by Atlassian JIRA
(v6.1#6144)
