我们正在从服务器获取字符串。就像是
"Here's some text to do stuff with and %s"
我们正在使用String.format将来自strings.xml的值插入该%s
现在... 我们要做的是将要插入的文本大写,粗体和斜体。
我尝试用HTML这样做,但是没有运气->
String.format(stringFromServer, Html.fromHtml("\n<b><i>$newString</b></i>"))
任何想法如何做到这一点?
答案 0 :(得分:1)
我想应该是另一种方式:
ggplot(data, aes(x = min_date, xend = max_date,
y = rating, yend = rating,
col = as.factor(weight))) +
geom_segment()
Html.fromHtml(String.format("Here's some text to do stuff with and %s", "<b><i>$newString</b></i>"));
将返回fromHtml
实例,该实例可以与Spanned
一起使用