Search Results

Search found 2 results on 1 pages for 'user353889'.

Page 1/1 | 1 

• UI font has rendering glitches in GNOME Shell

  - by user353889

  I don't really know how to describe this problem in English. A picture can say more words - look at the tabs at the top of the linked image. The current font settings are shown as well. I don't know what basic info I should provide so if something missing, please tell me. Ubuntu 12.04 GNOME Shell 3.4.1 I know, a reboot can make everything normal but I'm looking for a more permanent solution that can fix this problem (or bug). Update Thanks for Fitoschido, I finally know what keyword I could use for googling. I think it's a bug of gnome shell. https://bugs.archlinux.org/task/34847

  Read the article

• Is there way to keep delimiter while using php explode or other similar functions?

  - by user353889

  For example, I have an article should be splitted according to sentence boundary such as ".", "?", "!" and ":". But as well all know, whether preg_split or explode function, they both remove the delimiter. any help would be really appreciated!

  Read the article

1