That’s normal and natural behaviour and not JSF specific. A blank space may be perfectly valid input. The required=”true” only kicks in on empty inputs, not in filled inputs. In JSF you can however just create a Converter for String class to automatically trim the whitespace. @FacesConverter(forClass=String.class) public class StringTrimmer implements Converter { @Override public … Read more
[*] There are (at least) two ways to do this: Use an array and expand it using “${array[@]}”: bar() { local i=0 args=() for arg in “$@” do args[$i]=”prefix $arg” ((++i)) done foo “${args[@]}” } So, what have we learned? “${array[@]}” is to ${array[*]} what “$@” is to $*. Or if you do not want … Read more
You may want to override the margin-bottom: 20px from navbar : .navbar { margin-bottom: 0; } Something like that : http://jsfiddle.net/q4M2G/ (the !important is here just to override the style of the CDN version of bootstrap I’m using in the jsfiddle but you should not need to use it if your style correctly overrides bootstrap … Read more
If you want to add newline in Xcode5 / Xcode6 storyboard Attribute-Inspector (AI), you do it this way: Drag out a UITextView. Double-click it to edit text, place cursor where you want the paragraph break. Hit alt-Enter a couple of times to create a blank line & paragraph. Or, CTRL + Return make a new … Read more
There is method for that in NSString class. Check stringByTrimmingCharactersInSet:(NSCharacterSet *)set. You should use [NSCharacterSet whitespaceCharacterSet] as parameter: NSString *foo = @” untrimmed string “; NSString *trimmed = [foo stringByTrimmingCharactersInSet:[NSCharacterSet whitespaceCharacterSet]];
CTRL+R, CTRL+W : Toggle showing whitespace or under the Edit Menu: Edit -> Advanced -> View White Space [BTW, it also appears you are using Tabs. It’s common practice to have the IDE turn Tabs into spaces (often 4), via Options.]
There is a special-case shortcut for exactly this use case! If you call str.split without an argument, it splits on runs of whitespace instead of single characters. So: >>> ‘ ‘.join(“Please \n don’t \t hurt \x0b me.”.split()) “Please don’t hurt me.”
Indenting With Comments Since browsers ignore comments, you can use them to indent your pre tag contents. Solution <html> <body> <main> Here is my code with hack: <pre> <!– –>def some_function <!– –> return ‘Hello, World!’ <!– –>end </pre> Here is my code without hack: <pre> def some_function return ‘Hello, World!’ end </pre> </main> <body> … Read more
First, I’d like to point out that new lines can be either \r, \n, or \r\n depending on the operating system. My solution: echo preg_replace(‘/[ \t]+/’, ‘ ‘, preg_replace(‘/[\r\n]+/’, “\n”, $string)); Which could be separated into 2 lines if necessary: $string = preg_replace(‘/[\r\n]+/’, “\n”, $string); echo preg_replace(‘/[ \t]+/’, ‘ ‘, $string); Update: An even better … Read more
The specification (section 3.1 Start-tags, end-tags, and empty-element tags) says that there is no white space between the ‘<‘ and the tag name, between ‘</’ and the tag name, or inside ‘/>’. You can add white space after the tag name, though: <foo > </foo > <bar />